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

DOI10.1215/00294527-2018-0009zbMath1455.03047OpenAlexW2964138822WikidataQ129142691 ScholiaQ129142691MaRDI QIDQ1633892

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

zbMATH Keywords

automorphismsPeano arithmeticarithmetic saturationthin set theorem

Mathematics Subject Classification ID

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

Cites Work

• The weakness of being cohesive, thin or free in reverse mathematics
• Automorphisms of recursively saturated models of arithmetic
• AUTOMORPHISM GROUPS OF COUNTABLE ARITHMETICALLY SATURATED MODELS OF PEANO ARITHMETIC
• AUTOMORPHISM GROUPS OF SATURATED MODELS OF PEANO ARITHMETIC
• On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic
• The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic
• Automorphism groups of arithmetically saturated models

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