More automorphism groups of countable, arithmetically saturated models of Peano arithmetic

DOI10.1215/00294527-2018-0009zbMATH Open1455.03047OpenAlexW2964138822WikidataQ129142691 ScholiaQ129142691MaRDI QIDQ1633892FDOQ1633892

Authors: James H. Schmerl 

Publication date: 21 December 2018

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1538445762

Recommendations

• Automorphism groups of countable arithmetically saturated models of Peano arithmetic
• Automorphism groups of saturated models of Peano arithmetic
• The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic
• Automorphisms of saturated and boundedly saturated models of arithmetic
• Automorphisms of recursively saturated models of arithmetic

zbMATH Keywords

automorphismsPeano arithmeticarithmetic saturationthin set theorem

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15)

Cites Work

• The weakness of being cohesive, thin or free in reverse mathematics
• Automorphism groups of countable arithmetically saturated models of Peano arithmetic
• Automorphism groups of saturated models of Peano arithmetic
• Automorphism groups of arithmetically saturated models
• Automorphisms of recursively saturated models of arithmetic
• On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic
• The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic

Cited In (2)

• The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic
• On two questions concerning the automorphism groups of countable recursively saturated models of PA

This page was built for publication: More automorphism groups of countable, arithmetically saturated models of Peano arithmetic

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