Browser does not support script.
Allsup, John David (2007). On groups and initial segments in nonstandard models of Peano Arithmetic. University of Birmingham. Ph.D.