Cofinal extensions of nonstandard models of arithmetic

DOI10.1305/ndjfl/1093883398zbMath0481.03045OpenAlexW2009677497MaRDI QIDQ1161743

Craig Smorynski

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15)

Related Items (4)

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

This page was built for publication: Cofinal extensions of nonstandard models of arithmetic