Interstitial and pseudo gaps in models of Peano Arithmetic

Mathematical Logic Quarterly 56 (2):198-204 (2010)
  Copy   BIBTEX


In this paper we study the automorphism groups of models of Peano Arithmetic. Kossak, Kotlarski, and Schmerl [9] shows that the stabilizer of an unbounded element a of a countable recursively saturated model of Peano Arithmetic M is a maximal subgroup of Aut if and only if the type of a is selective. We extend this result by showing that if M is a countable arithmetically saturated model of Peano Arithmetic, Ω ⊂ M is a very good interstice, and a ∈ Ω, then the stabilizer of a is a maximal subgroup of Aut if and only if the type of a is selective and rational



    Upload a copy of this work     Papers currently archived: 94,452

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Automorphism Groups of Arithmetically Saturated Models.Ermek S. Nurkhaidarov - 2006 - Journal of Symbolic Logic 71 (1):203 - 216.
Moving Intersticial Gaps.James H. Schmerl - 2002 - Mathematical Logic Quarterly 48 (2):283-296.


Added to PP

20 (#774,984)

6 months
6 (#736,521)

Historical graph of downloads
How can I increase my downloads?