Title: Initial segments of models of arithmetic