Wong, Tin Lok (2010) Initial segments and end-extensions of models of arithmetic. Ph.D. thesis, University of Birmingham.