Closed Normal Subgroups of the Automorphism Group of a Saturated Model of Peano Arithmetic
In this paper we discuss automorphism groups of saturated models and boundedly saturated models of PA. We show that there are saturated models of PA of the same cardinality with nonisomorphic automorphism groups. We then show that every saturated model of PA has short saturated elementary cuts with nonisomorphic automorphism groups.
NOTRE DAME JOURNAL OF FORMAL LOGIC
saturation,bounded saturation,automorphism groups,models of Peano Arithmetic
Saturated model,Outer automorphism group,Automorphism group,Discrete mathematics,Peano axioms,Non-standard model of arithmetic,Peano curve,Inner automorphism,Normal subgroup,Mathematics