Recursively saturated nonstandard models of arithmetic; addendum
From MaRDI portal
Publication:3342574
DOI10.2307/2273586zbMath0549.03059MaRDI QIDQ3342574
Publication date: 1982
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273586
03H15: Nonstandard models of arithmetic
03C62: Models of arithmetic and set theory
03C57: Computable structure theory, computable model theory
Related Items
Arithmetically saturated models of arithmetic, Duality, non-standard elements, and dynamic properties of r.e. sets, A Galois correspondence for countable short recursively saturated models of PA
Cites Work