1. H. Friedman, Countable Models of Set Theories. Cambridge Summer School in Mathematical Logic, 1971, Lecture Notes in Mathematics, Springer-Verlag, vol. 337 (1973), pp, 539–573.
2. H. Gaifman, A Note on Models and Submodels of Arithmetic, Conference in Mathematical Logic, London, 1970, Lecture Notes in Mathematics, Springer-Verlag, vol. 255 (1972), pp, 128–144.
3. K. McAloon, Completeness Theorems, Incompleteness Theorems and Models of Arithmetic, to appear.
4. L.M. Manevitz, Internal End-extensions of Peano Arithmetic and a Problem of Gaifman, Journal of the London Mathematical Society, vol. 13, part 1 (May 1976), pp. 80–82.
5. R.G. Phillips, Omitting Types in Arithmetic and Conservative Extensions, Victoria Symposium on Non-standard Analysis, 1972, Lecture Notes in Mathematics, Springer-Verlag, vol. 369 (1074), pp. 195–202.