The consistency of classical set theory relative to a set theory with intu1tionistic logic
From MaRDI portal
Publication:4405158
DOI10.2307/2272068zbMath0278.02045MaRDI QIDQ4405158
Publication date: 1973
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2272068
03E35: Consistency and independence results
03E70: Nonclassical and second-order set theories
03F55: Intuitionistic mathematics
03B55: Intermediate logics
Related Items
The generalised type-theoretic interpretation of constructive set theory, Large sets in intuitionistic set theory, The strength of extensionality. I: Weak weak set theories with infinity, The lack of definable witnesses and provably recursive functions in intuitionistic set theories, Arithmetic transfinite induction and recursive well-orderings, Nondeducibility of the uniformization principles from Church's thesis in intuitionistic set theory, An approach to the constructivization of Cantor's set theory, The consistency of some intuitionistic and constructive principles with a set theory, Towards a computation system based on set theory, Intuitionistic theory of functionals of higher type, On Evans's vague object from set theoretic viewpoint, Interpreting classical theories in constructive ones, A Brief Introduction to Algebraic Set Theory, Replacement and collection in intuitionistic set theory, Syntactic translations and provably recursive functions, Forcing in intuitionistic systems without power-set, Epistemic set theory is a conservative extension of intuitionistic set theory, One hundred and two problems in mathematical logic, Extending Gödel's negative interpretation to ZF, A type-free Gödel interpretation
