Reference14 articles.
1. Gaifman, H., “Models and types of Peano's Arithmetic,” Annals of Mathematical Logic, vol. 9 (1976), pp. 223–306. Zbl 0332.02058 MR 53:10577
2. Kaye, R., Models of Peano Arithmetic, Oxford Logic Guides, Oxford University Press, Oxford, 1991. Zbl 0744.03037 MR 92k:03034
3. 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. Zbl 0748.03023 MR 93c:03047
4. Kirby, L. A. S., Ph.D. thesis, University of Manchester, 1977.
5. Kirby, L. A. S., and J. B. Paris, “Initial segments of models of Peano's axioms,” pp. 211–226 in Set Theory and Hierarchy Theory V, Lecture Notes in Mathematics 619, Springer-Verlag, Berlin, 1977. Zbl 0364.02032 MR 58:10423
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献