Switch to: References

Add citations

You must login to add citations.
  1. (1 other version)More Automorphism Groups of Countable, Arithmetically Saturated Models of Peano Arithmetic.James H. Schmerl - 2018 - Notre Dame Journal of Formal Logic 59 (4):491-496.
    There is an infinite set T of Turing-equivalent completions of Peano Arithmetic such that whenever M and N are nonisomorphic countable, arithmetically saturated models of PA and Th, Th∈T, then Aut≇Aut.
    Download  
     
    Export citation  
     
    Bookmark  
  • 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