Extending Gödel's negative interpretation to ZF
From MaRDI portal
Publication:4128815
DOI10.2307/2271902zbMath0356.02049MaRDI QIDQ4128815
Publication date: 1975
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2271902
03E30: Axiomatics of classical set theory and its fragments
03E70: Nonclassical and second-order set theories
03B55: Intermediate logics
Related Items
Completeness of global intuitionistic set theory, IKP and friends, Models of intuitionistic TT and NF, Intuitionistic sets and ordinals, Effectivity properties of intuitionistic set theory with collection scheme, Globalization of intuitionistic set theory, The consistency of some intuitionistic and constructive principles with a set theory, Fuzzy logic and fuzzy set theory, Intuitionistic fuzzy logic and intuitionistic fuzzy set theory, Intuitionistic modal logic and set theory
Cites Work