Automorphism groups of models of Peano arithmetic
From MaRDI portal
Publication:4451717
DOI10.2178/jsl/1190150283zbMath1038.03044MaRDI 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 groups; models of arithmetic; ordered structures; right-orderable groups; recursively saturated models
03C62: Models of arithmetic and set theory
03C50: Models with special properties (saturated, rigid, etc.)
20B27: Infinite automorphism groups
Related Items
The automorphism group of a resplendent model, Automorphisms of models of arithmetic: a unified view
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