Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. H. Gaifman, On models and types of Peano’s arithmetic, Annals of Pure and Applied Logic, vol. 9 (1976), pp. 223–306.
2. M. Kaufmann, A rather classless model, Proceedings of the American Mathematical Society, vol. 62 (1977), pp. 330–333.
3. R. Kaye, Models of Peano Arithmetic, Oxford Logic Guides, Oxford University Press, 1991
4. R. Kaye, R. Kossak, and H. Kotlarski, Automorphisms of recursively saturated models of arithmetic, Annals of Pure and Applied Logic, vol. 55 (1991), pp. 67–99.
5. R. Kossak, A certain class of models of Peano Arithmetic, Journal of Symbolic Logic, vol. 48 (1983), pp. 311–320.