Allsup, John David (2007) On groups and initial segments in nonstandard models of Peano Arithmetic. Ph.D. thesis, University of Birmingham.
