Browser does not support script.
Reading, Alan G (2014). On counting problems in nonstandard models of Peano arithmetic with applications to groups. University of Birmingham. Ph.D.