On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic

DOI10.1002/MALQ.19970430408MaRDI QIDQ4366132zbMATH OpenOpenAlexFDO

Authors Nicholas Bamber, Henryk Kotlarski

Publication date 17 March 1998

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19970430408

zbMATH Keywords

automorphism groupmodels of arithmeticrecursive saturationarithmetic saturationPeano Arithmetic

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15)

Recommendations

• scientific article; zbMATH DE number 1746899
• Interstitial and pseudo gaps in models of Peano arithmetic
• Strongly maximal subgroups determined by elements in interstices

Cites work

• scientific article; zbMATH DE number 3083488 (Why is no real title available?)
• The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic

Cited in

(13)

• Automorphism groups of countable arithmetically saturated models of Peano arithmetic
• A Galois correspondence for countable short recursively saturated models of PA
• More automorphism groups of countable, arithmetically saturated models of Peano arithmetic
• Constant regions in models of arithmetic
• scientific article; zbMATH DE number 1746899 (Why is no real title available?)
• Decoding in the automorphism group of a recursively saturated model of arithmetic
• On the number of strongly \(\aleph _{\epsilon}\)-saturated models of power \(\lambda\)
• 2005–06 Winter Meeting of the Association for Symbolic Logic
• Automorphism groups of saturated models of Peano arithmetic
• Automorphism groups of arithmetically saturated models
• Strongly maximal subgroups determined by elements in interstices
• Interstitial and pseudo gaps in models of Peano arithmetic
• On cofinal submodels and elementary interstices

This page was built for publication: On Interstices 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 Q4366132)