1. Discernible elements in models for Peano arithmetic;Ehrenfeucht;J. Symbolic Logic,1973
2. Automorphisms of models of arithmetic: A unified view;Enayat;Annals Pure Appl. Logic,2007
3. R. Kaye Models of Peano Arithmetic, Oxford Logic Guides, Vol. 15 (The Clarendon Press Oxford University Press, 1991).
4. R. Kaye A Galois correspondence for countable recursively saturated models of Peano Arithmetic. In: Automorphisms of First-Order Structures, Oxford Sci. Publ., pp. 293-312 (Oxford University Press, 1994).
5. Automorphisms of recursively saturated models of arithmetic;Kaye;Annals Pure Appl. Logic,1991