Elementary extensions of recursively saturated models of arithmetic

From MaRDI portal

Publication:1173087

Jump to:navigation, search

DOI10.1305/ndjfl/1093883454zbMath0503.03032OpenAlexW1969475731MaRDI QIDQ1173087

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/1093883454

zbMATH Keywords

recursively saturated end extensions recursively saturated structures cofinal extension countable nonstandard models of arithmetic

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Second- and higher-order arithmetic and fragments (03F35) Computable structure theory, computable model theory (03C57)

Related Items (4)

Four problems concerning recursively saturated models of arithmetic ⋮ Elementary cuts in saturated models of Peano arithmetic ⋮ Truth in generic cuts ⋮ On cofinal submodels and elementary interstices

This page was built for publication: Elementary extensions of recursively saturated models of arithmetic

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1173087&oldid=13243585"