AUTOMORPHISM GROUPS OF SATURATED MODELS OF PEANO ARITHMETIC

Abstract

AbstractLet κ be the cardinality of some saturated model of Peano Arithmetic. There is a set of ${2^{{\aleph _0}}}$ saturated models of PA, each having cardinality κ, such that whenever M and N are two distinct models from this set, then Aut(${\cal M}$) ≇ Aut ($${\cal N}$$).