Cofinal extensions of nonstandard models of arithmetic
From MaRDI portal
Publication:1161743
DOI10.1305/ndjfl/1093883398zbMath0481.03045OpenAlexW2009677497MaRDI 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 extensionshort modelscofinal extensions of models of Peano arithmeticcountable recursively saturated model of Peano arithmetic has countably many nonisomorphic elementary initial segmentsgreatest common initial segment of two modelsmodel extensionspreservation of saturation
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