1. [1] Barwise, J., and J. Schlipf, ``On recursively saturated models of arithmetic,'' pp. 42--55 in Model Theory and Algebra (A Memorial Tribute to Abraham Robinson), vol. 498 of Lecture Notes in Mathematics, Springer, Berlin, 1975.
2. [2] Bigorajska, T., H. Kotlarski, and J. H. Schmerl, "On regular interstices and selective types in countable arithmetically saturated models of Peano Arithmetic", Fundamenta Mathematicae, vol. 158 (1998), pp. 125--46.
3. [3] Blass, A., "The intersection of nonstandard models of arithmetic", The Journal of Symbolic Logic, vol. 37 (1972), pp. 103--6.
4. [4] Ehrenfeucht, A., "Discernible elements in models for Peano Arithmetic", The Journal of Symbolic Logic, vol. 38 (1973), pp. 291--92.
5. [5] Gaifman, H., "Models and types of Peano's arithmetic", Annals of Pure and Applied Logic, vol. 9 (1976), pp. 223--306.