Extending Gödel's negative interpretation to ZF

DOI10.2307/2271902zbMath0356.02049OpenAlexW1965610596MaRDI QIDQ4128815

William C. Powell

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

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Nonclassical and second-order set theories (03E70) Intermediate logics (03B55)

Related Items (11)

Globalization of intuitionistic set theory ⋮ Intuitionistic modal logic and set theory ⋮ Models of intuitionistic TT and NF ⋮ The consistency of some intuitionistic and constructive principles with a set theory ⋮ Effectivity properties of intuitionistic set theory with collection scheme ⋮ Intuitionistic sets and ordinals ⋮ Completeness of global intuitionistic set theory ⋮ Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets ⋮ IKP and friends ⋮ Fuzzy logic and fuzzy set theory ⋮ Intuitionistic fuzzy logic and intuitionistic fuzzy set theory

Cites Work

• Constructive set theory
• The consistency of classical set theory relative to a set theory with intu1tionistic logic
• Embedding Classical Logic in Intuitionistic Logic

This page was built for publication: Extending Gödel's negative interpretation to ZF