Notre Dame Journal of Formal Logic

Arithmetically Saturated Models of Arithmetic

Roman Kossak and James H. Schmerl

Abstract

The paper presents an outline of the general theory of countable arithmetically saturated models of PA and some of its applications. We consider questions concerning the automorphism group of a countable recursively saturated model of PA. We prove new results concerning fixed point sets, open subgroups, and the cofinality of the automorphism group. We also prove that the standard system of a countable arithmetically saturated model of PA is determined by the lattice of its elementary substructures.

Article information

Source
Notre Dame J. Formal Logic, Volume 36, Number 4 (1995), 531-546.

Dates
First available in Project Euclid: 17 December 2002

Permanent link to this document
https://projecteuclid.org/euclid.ndjfl/1040136914

Digital Object Identifier
doi:10.1305/ndjfl/1040136914

Mathematical Reviews number (MathSciNet)
MR1368465

Zentralblatt MATH identifier
0848.03017

Subjects
Primary: 03C62: Models of arithmetic and set theory [See also 03Hxx]
Secondary: 03C57: Effective and recursion-theoretic model theory [See also 03D45]

Citation

Kossak, Roman; Schmerl, James H. Arithmetically Saturated Models of Arithmetic. Notre Dame J. Formal Logic 36 (1995), no. 4, 531--546. doi:10.1305/ndjfl/1040136914. https://projecteuclid.org/euclid.ndjfl/1040136914


Export citation

References

  • Hodges, W., I. Hodkinson, D. Lascar and S. Shelah, “The small index property for $\omega$-stable $\omega$-categorical structures and for the random graph,” Journal of the London Mathematical Society, vol. 48 (1993), pp. 204–218. Zbl 0788.03039 MR 94d:03063
  • Kaye, R., Models of Peano Arithmetic, Oxford Logic Guides vol. 15, Oxford University Press, Oxford, 1991. Zbl 0744.03037 MR 92k:03034
  • 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
  • Kirby, L. A. S., Initial Segments of Models of Arithmetic, Ph.D. thesis, University of Manchester, 1977.
  • Kirby, L., “Ultrafilters and types of models of arithmetic,” Annals of Pure and Applied Logic, vol. 27 (1984), pp. 215–252. Zbl 0565.03014 MR 86f:03107
  • Kossak, R., “Models with the $\omega$-property,” The Journal of Symbolic Logic, vol. 54 (1989), pp. 177–189. Zbl 0669.03039 MR 90a:03053
  • Kossak, R., “Excercises in `back-and-forth',” Proceedings of the 9th Easter Conference in Model Theory, edited by H. Wolter, Seminarbericht 112, Humboldt Universität zu Berlin, 1991. Zbl 0753.03014
  • Kossak, R., H. Kotlarski and J. Schmerl “On maximal subgroups of the automorphism group of a countable \rs model of PA,” Annals of Pure and Applied Logic, vol. 63 (1993), pp. 125–148. Zbl 0796.03043 MR 94m:03061
  • Kossak, R., and J. Schmerl, “The automorphism group of an arithmetically saturated model of Peano Arithmetic,” forthcoming in Journal of the London Mathematical Society. Zbl 0905.03024 MR 97a:03048
  • Kotlarski, H., “On elementary cuts in \rs models of Peano Arithmetic,” Fundamenta Mathematicæ, vol. 120 (1984), pp. 205–222. Zbl 0572.03016 MR 86f:03056
  • Lascar, D., “The small index property and \rs models of Peano arithmetic,” pp. 281–292 in Automorphism of First Order Structures, edited by R. Kaye and D. Macpherson, Oxford University Press Oxford, 1994. Zbl 0824.03014 MR 1325479
  • MacPherson, H. D., and P. M. Neuman, “Subgroups of infinite symmetric groups,” Journal of the London Mathematical Society vol. 42 (1990), pp. 64–84. Zbl 0668.20005 MR 92d:20006
  • Schmerl, J. H., “Substructure lattices of models of Peano Arithmetic,” pp. 225–243 in Logic Colloquium '84, North-Holland, Amsterdam, 1986. Zbl 0596.03066 MR 87j:03046
  • Schmerl, J. H., “Finite substructure lattices of models of Peano Arithmetic,” Proceedings of the American Mathematical Society, vol. 117 (1993), pp. 833–838. Zbl 0788.03050 MR 93d:03073
  • Smoryński, C., “Recursively saturated non-standard models of arithmetic,” The Journal of Symbolic Logic, vol. 46 (1981), pp. 329–344. Zbl 0549.03059 MR 84b:03054
  • Wilmers, G., “Minimally saturated models,” pp. 370–380 in Model Theory of Algebra and Arithmetic, edited by L. Pacholski et al., Lecture Notes in Mathematics vol. 834, Springer-Verlag, Berlin, 1980. Zbl 0463.03017 MR 82d:03051