Recursively saturated nonstandard models of arithmetic; addendum

DOI10.2307/2273586zbMath0549.03059OpenAlexW2016287030MaRDI QIDQ3342574

Craig Smorynski

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

zbMATH Keywords

recursively saturated modelscofinally resplendent models

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Computable structure theory, computable model theory (03C57)

Related Items (3)

Duality, non-standard elements, and dynamic properties of r.e. sets ⋮ Arithmetically saturated models of arithmetic ⋮ A Galois correspondence for countable short recursively saturated models of PA

Cites Work

• Cofinal extensions of nonstandard models of arithmetic

This page was built for publication: Recursively saturated nonstandard models of arithmetic; addendum