On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic
From MaRDI portal
Publication:4366132
DOI10.1002/MALQ.19970430408zbMath0884.03042OpenAlexW1997868768MaRDI QIDQ4366132
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
Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Models with special properties (saturated, rigid, etc.) (03C50)
Related Items (9)
More automorphism groups of countable, arithmetically saturated models of Peano arithmetic ⋮ AUTOMORPHISM GROUPS OF SATURATED MODELS OF PEANO ARITHMETIC ⋮ Constant regions in models of arithmetic ⋮ 2005–06 Winter Meeting of the Association for Symbolic Logic ⋮ Interstitial and pseudo gaps in models of Peano Arithmetic ⋮ On cofinal submodels and elementary interstices ⋮ AUTOMORPHISM GROUPS OF COUNTABLE ARITHMETICALLY SATURATED MODELS OF PEANO ARITHMETIC ⋮ Automorphism groups of arithmetically saturated models ⋮ Decoding in the automorphism group of a recursively saturated model of arithmetic
Cites Work
This page was built for publication: On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic