1. and , Models and Ultraproducts: An Introduction. North-Holland Publ., Comp., Amsterdam 1971.
2. A note on models and submodels of arithmetic. In: Conference in Mathematical Logic (London 1970). Springer Lecture Notes in Mathematics 255 (1972), pp. 128–144.
3. Models of Arithmetic and recursive functions
4. and , Forcing, Arithmetic and Division Rings. Springer Lecture Notes in Mathematics 454 (1975).
5. Undecidable problems of elementary number theory