1. Some problem in elementary arithmetics
2. Initial segments of models of arithmetic. Ph. D. Thesis, Manchester University, Manchester 1977
3. Indicators, recursive saturation and expandability
4. Initial segments of models of Peano's axioms
5. Nonstandard satisfaction classes. In: Set Theory and Hierarchy Theory (, , eds.), Springer Lecture Notes in Mathematics 537 (1976), 121–144.