Which groups are isomorphic to automorphism groups of models of Peano Arithmetic? It will be shown here that any group that has half a chance of being isomorphic to the automorphism group of some model of Peano Arithmetic actually is.For any structure, let Aut() be its automorphism group. There are groups which are not isomorphic to any model= (N, +, ·, 0, 1, ≤) of PA. For example, it is clear that Aut(N), being a subgroup of Aut((, <)), must be (...) torsion-free. However, as will be proved in this paper,if(A, <)is a linearly ordered set and G is a subgroup of Aut((A, <)),then there are modelsofPAsuch that Aut() ≅G.Ifis a structure, then its automorphism group can be considered as a topological group by letting the stabilizers of finite subsets ofAbe the basic open subgroups. If′ is an expansion of, then Aut(′) is a closed subgroup of Aut(). Conversely, for any closed subgroupG≤ Aut() there is an expansion′ ofsuch that Aut(′) =G. Thus, ifis a model of PA, then Aut() is not only a subgroup of Aut((N, <)), but it is even aclosedsubgroup of Aut((N, ′)).There is a characterization, due to Cohn [2] and to Conrad [3], of those groupsGwhich are isomorphic to closed subgroups of automorphism groups of linearly ordered sets. (shrink)

In a countable, recursively saturated model of Peano Arithmetic, an interstice is a maximal convex set which does not contain any definable elements. The interstices are partitioned into intersticial gaps in a way that generalizes the partition of the unbounded interstice into gaps. Continuing work of Bamber and Kotlarski [1], we investigate extensions of Kotlarski's Moving Gaps Lemma to the moving of intersticial gaps.

We show that the stabilizer of an element a of a countable recursively saturated model of arithmetic M is a maximal subgroup of Aut iff the type of a is selective. This is a point of departure for a more detailed study of the relationship between pointwise and setwise stabilizers of certain subsets of M and the types of elements in those subsets. We also show that a complete type of PA is 2-indiscernible iff it is minimal in the sense (...) of Gaifman. (shrink)

In this paper we study the automorphism groups of countable arithmetically saturated models of Peano Arithmetic. The automorphism groups of such structures form a rich class of permutation groups. When studying the automorphism group of a model, one is interested to what extent a model is recoverable from its automorphism group. Kossak-Schmerl [12] show that ifMis a countable, arithmetically saturated model of Peano Arithmetic, then Aut(M) codes SSy(M). Using that result they prove:Let M1. M2be countable arithmetically saturated models of Peano (...) Arithmetic such that Aut(M1)≅ Aut(M2).ThenSSy(M1) = SSy(M2).We show that ifMis a countable arithmetically saturated of Peano Arithmetic, then Aut(M) can recognize if some maximal open subgroup is a stabilizer of a nonstandard element, which is smaller than any nonstandard definable element. That fact is used to show the main theorem:Let M1,M2be countable arithmetically saturated models of Peano Arithmetic such thatAut(M1) ≅ Aut(M2).Then for every n<ωHere RT2nis Infinite Ramsey's Theorem stating that every 2-coloring of [ω]nhas an infinite homogeneous set. Theorem 0.2 shows that for models of a false arithmetic the converse of Kossak-Schmerl Theorem 0.1 is not true. Using the results of Reverse Mathematics we obtain the following corollary:There exist four countable arithmetically saturated models of Peano Arithmetic such that they have the same standard system but their automorphism groups are pairwise non-isomorphic. (shrink)