SEARCH

SEARCH BY CITATION

Keywords:

  • Peano Arithmetic;
  • automorphisms;
  • interstitial gaps;
  • pseudo gaps

Abstract

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(M) 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(M) if and only if the type of a is selective and rational (© 2010 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)