1. Second order arithmetic and related topics
2. Countable models of set theories. In: Cambridge Summer School in Math. Logic, Cambridge 1971, Springer Lecture Notes in Mathematics 337 (1973), 539–573.
3. Initial segments of models of arithmetic. Ph. D. Thesis, Manchester 1977.
4. Indicators, recursive saturation and expandability
5. and , Initial segments of models of Peano's axioms. In: Set Theory and Hierarchy Theory. Proc. Bierutowice Conf. 1976, Springer Lecture Notes in Mathematics 619 (1977), 211–226.