Automorphism groups of models of Peano arithmetic
From MaRDI portal
Publication:4451717
DOI10.2178/jsl/1190150283zbMath1038.03044OpenAlexW1975695210MaRDI QIDQ4451717
Publication date: 1 March 2004
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/jsl/1190150283
automorphism groupsmodels of arithmeticordered structuresright-orderable groupsrecursively saturated models
Models of arithmetic and set theory (03C62) Models with special properties (saturated, rigid, etc.) (03C50) Infinite automorphism groups (20B27)
Related Items
Automorphisms of models of arithmetic: a unified view, The automorphism group of a resplendent model
Cites Work
- Unnamed Item
- Right-ordered groups
- Automorphisms of recursively saturated models of arithmetic
- Minimal satisfaction classes with an application to rigid models of Peano arithmetic
- On two questions concerning the automorphism groups of countable recursively saturated models of PA
- Arithmetically saturated models of arithmetic
- Groups of order automorphisms of ordered sets
- Models and types of Peano's arithmetic
- Discernible elements in models for Peano arithmetic
- The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic