1. Second order arithmetic and related topics
2. Springer Lect;Barwise,1975
3. A note on models and submodels of arithmetic. In: Proceedings of the Conference in Mathematical Logic, London 1970, Springer Lecture Notes in Mathematics 255 (1972), 128–144.