On the interpretability of arithmetic in set theory
From MaRDI portal
Publication:2536048
DOI10.1305/ndjfl/1093894080zbMath0185.01601OpenAlexW1975061069MaRDI QIDQ2536048
J. D. Halpern, George E. Collins
Publication date: 1970
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093894080
Related Items
Decidability and completeness for open formulas of membership theories ⋮ MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY ⋮ The scope of Gödel's first incompleteness theorem ⋮ The predicative Frege hierarchy ⋮ CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN
This page was built for publication: On the interpretability of arithmetic in set theory