Cofinal extensions of nonstandard models of arithmetic
From MaRDI portal
Publication:1161743
DOI10.1305/ndjfl/1093883398zbMath0481.03045MaRDI QIDQ1161743
Publication date: 1981
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093883398
end extension; short models; cofinal extensions of models of Peano arithmetic; countable recursively saturated model of Peano arithmetic has countably many nonisomorphic elementary initial segments; greatest common initial segment of two models; model extensions; preservation of saturation
03H15: Nonstandard models of arithmetic
Related Items
Fixed points of self-embeddings of models of arithmetic, On cofinal submodels and elementary interstices, Recursively saturated nonstandard models of arithmetic; addendum, Extendible Sets in Peano Arithmetic