On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic
From MaRDI portal
Publication:4366132
DOI10.1002/MALQ.19970430408zbMATH Open0884.03042OpenAlexW1997868768MaRDI QIDQ4366132FDOQ4366132
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
Recommendations
Models with special properties (saturated, rigid, etc.) (03C50) Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15)
Cites Work
Cited In (13)
- A Galois correspondence for countable short recursively saturated models of PA
- On the number of strongly \(\aleph _{\epsilon}\)-saturated models of power \(\lambda\)
- Automorphism groups of arithmetically saturated models
- 2005–06 Winter Meeting of the Association for Symbolic Logic
- Interstitial and pseudo gaps in models of Peano arithmetic
- Decoding in the automorphism group of a recursively saturated model of arithmetic
- Title not available (Why is that?)
- On cofinal submodels and elementary interstices
- Constant regions in models of arithmetic
- Automorphism groups of countable arithmetically saturated models of Peano arithmetic
- Automorphism groups of saturated models of Peano arithmetic
- More automorphism groups of countable, arithmetically saturated models of Peano arithmetic
- Strongly maximal subgroups determined by elements in 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)
