Strongly maximal subgroups determined by elements in interstices
From MaRDI portal
Publication:4798210
DOI10.1002/malq.200310010zbMath1017.03042MaRDI QIDQ4798210
Publication date: 19 March 2003
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200310010
Peano arithmetic; models of arithmetic; nonstandard model; arithmetic saturation; selective type; interstice; false completion
Related Items
On cofinal submodels and elementary interstices, Interstitial and pseudo gaps in models of Peano Arithmetic