Browser does not support script.
Wong, Tin Lok (2010). Initial segments and end-extensions of models of arithmetic. University of Birmingham. Ph.D.