Elementary extensions of recursively saturated models of arithmetic
From MaRDI portal
Publication:1173087
DOI10.1305/ndjfl/1093883454zbMath0503.03032MaRDI QIDQ1173087
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
recursively saturated; end extensions; recursively saturated structures; cofinal extension; countable nonstandard models of arithmetic
03H15: Nonstandard models of arithmetic
03F35: Second- and higher-order arithmetic and fragments
03C57: Computable structure theory, computable model theory
Related Items
Elementary cuts in saturated models of Peano arithmetic, Truth in generic cuts, On cofinal submodels and elementary interstices, Four problems concerning recursively saturated models of arithmetic