Elementary extensions of recursively saturated models of arithmetic
From MaRDI portal
Publication:1173087
DOI10.1305/ndjfl/1093883454zbMath0503.03032OpenAlexW1969475731MaRDI 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 saturatedend extensionsrecursively saturated structurescofinal extensioncountable nonstandard models of arithmetic
Nonstandard models of arithmetic (03H15) Second- and higher-order arithmetic and fragments (03F35) Computable structure theory, computable model theory (03C57)
Related Items
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