1. [1] Blass, A., "The intersection of nonstandard models of arithmetic", The Journal of Symbolic Logic, vol. 37 (1972), pp. 103–6.
2. [2] Gaifman, H., "Models and types of Peano's arithmetic", Annals of Pure and Applied Logic, vol. 9 (1976), pp. 223–306.
3. [3] Kaye, R., Models of Peano Arithmetic, vol. 15 of Oxford Logic Guides, The Clarendon Press, New York, 1991.
4. [4] Kaye, R., "A Galois correspondence for countable recursively saturated models of Peano Arithmetic", pp. 293–312 in Automorphisms of First-Order Structures, Oxford Science Publications, Oxford University Press, New York, 1994.
5. [5] Kaye, R., R. Kossak, and H. Kotlarski, "Automorphisms of recursively saturated models of arithmetic", Annals of Pure and Applied Logic, vol. 55 (1991), pp. 67–99.