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  
  • Infinitary definitions of equivalence relations in models of PA.Richard Kaye - 1997 - Annals of Pure and Applied Logic 89 (1):37-43.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)Automorphisms of Countable Recursively Saturated Models of PA: A Survey.Henryk Kotlarski - 1995 - Notre Dame Journal of Formal Logic 36 (4):505-518.
    We give a survey of automorphisms of countable recursively saturated models of Peano Arithmetic.
    Download  
     
    Export citation  
     
    Bookmark   2 citations