Switch to: References

Add citations

You must login to add citations.
  1. Automorphism Groups of Saturated Models of Peano Arithmetic.Ermek S. Nurkhaidarov & James H. Schmerl - 2014 - Journal of Symbolic Logic 79 (2):561-584.
    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 wheneverMandNare two distinct models from this set, then Aut(${\cal M}$) ≇ Aut ($${\cal N}$$).
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Closed Normal Subgroups of the Automorphism Group of a Saturated Model of Peano Arithmetic.Ermek S. Nurkhaidarov & Erez Shochat - 2016 - Notre Dame Journal of Formal Logic 57 (1):127-139.
    In this paper we discuss automorphism groups of saturated models and boundedly saturated models of $\mathsf{PA}$. We show that there are saturated models of $\mathsf{PA}$ of the same cardinality with nonisomorphic automorphism groups. We then show that every saturated model of $\mathsf{PA}$ has short saturated elementary cuts with nonisomorphic automorphism groups.
    Download  
     
    Export citation  
     
    Bookmark   1 citation