Article contents
AUTOMORPHISM GROUPS OF SATURATED MODELS OF PEANO ARITHMETIC
Published online by Cambridge University Press: 25 June 2014
Abstract
Let κ 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}$$).
- Type
- Articles
- Information
- Copyright
- Copyright © The Association for Symbolic Logic 2014
References
REFERENCES
- 2
- Cited by