On recursively enumerable and arithmetic models of set theory
From MaRDI portal
Publication:3273299
DOI10.2307/2964015zbMath0095.24601OpenAlexW1981184771MaRDI QIDQ3273299
Publication date: 1959
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2964015
Related Items
INCOMPLETENESS VIA PARADOX AND COMPLETENESS ⋮ La théorie des fonctions récursives et ses applications. (Exposé d'information générale)