Automorphism groups of models of Peano arithmetic

DOI10.2178/JSL/1190150283MaRDI QIDQ4451717zbMATH OpenOpenAlexFDO

Authors 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 structuresrecursively saturated modelsright-orderable groups

Mathematics Subject Classification ID

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

Recommendations

• Automorphisms of countable recursively saturated models of PA: A survey
• On two questions concerning the automorphism groups of countable recursively saturated models of PA
• scientific article; zbMATH DE number 22356
• Automorphism groups of saturated models of Peano arithmetic
• The automorphism group of a resplendent model
• The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic
• ON AUTOMORPHISMS OF RESPLENDENT MODELS OF ARITHMETIC
• Automorphisms of saturated and boundedly saturated models of arithmetic
• On maximal subgroups of the automorphism group of a countable recursively saturated model of PA
• Automorphism groups of countable arithmetically saturated models of Peano arithmetic

Cites work

• Arithmetically saturated models of arithmetic
• Automorphisms of recursively saturated models of arithmetic
• Discernible elements in models for Peano arithmetic
• Groups of order automorphisms of ordered sets
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• Minimal satisfaction classes with an application to rigid models of Peano arithmetic
• Models and types of Peano's arithmetic
• On two questions concerning the automorphism groups of countable recursively saturated models of PA
• Right-ordered groups
• The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic

Cited in

(9)

• Computable groups of automorphisms of models
• A note on the multiplicative semigroup of models of Peano arithmetic
• Automorphism groups of models of first order theories
• ON AUTOMORPHISMS OF RESPLENDENT MODELS OF ARITHMETIC
• The automorphism group of a resplendent model
• The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic
• Parametric groups of definable automorphisms of strongly constructive models
• Automorphisms of models of arithmetic: a unified view
• Normal subgroups of nonstandard symmetric and alternating groups

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4451717)