Automorphism groups of models of Peano arithmetic

DOI10.2178/JSL/1190150283zbMath1038.03044OpenAlexW1975695210MaRDI QIDQ4451717

James H. Schmerl

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

zbMATH Keywords

automorphism groupsmodels of arithmeticordered structuresright-orderable groupsrecursively saturated models

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Models with special properties (saturated, rigid, etc.) (03C50) Infinite automorphism groups (20B27)

Related Items (2)

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

This page was built for publication: Automorphism groups of models of Peano arithmetic