Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)A Course in Model Theory. An Introduction to Contemporary Mathematical Logic.Gregory Cherlin - 2001 - Bulletin of Symbolic Logic 7 (4):521-522.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Automorphism groups of models of Peano arithmetic.James H. Schmerl - 2002 - Journal of Symbolic Logic 67 (4):1249-1264.
    Which groups are isomorphic to automorphism groups of models of Peano Arithmetic? It will be shown here that any group that has half a chance of being isomorphic to the automorphism group of some model of Peano Arithmetic actually is.For any structure, let Aut() be its automorphism group. There are groups which are not isomorphic to any model= (N, +, ·, 0, 1, ≤) of PA. For example, it is clear that Aut(N), being a subgroup of Aut((, <)), must be (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations