1. [1] Bamber, N., and H. Kotlarski, “On interstices of countable arithmetically saturated models of Peano arithmetic,” Mathematical Logic Quarterly, vol. 43 (1997), pp. 525–40.
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] Kaye, R., Models of Peano Arithmetic, vol. 15 of Oxford Logic Guides, Oxford University Press, New York, 1991.
4. [4] Kaye, R., “Generic cuts in models of arithmetic,” Mathematical Logic Quarterly, vol. 54 (2008), pp. 129–44.
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.