The consistency of classical set theory relative to a set theory with intu1tionistic logic

DOI10.2307/2272068zbMath0278.02045OpenAlexW2169772316MaRDI QIDQ4405158

Harvey M. Friedman

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

Mathematics Subject Classification ID

Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70) Intuitionistic mathematics (03F55) Intermediate logics (03B55)

Related Items

Metamathematical properties of a constructive multi-typed theory, Replacement and collection in intuitionistic set theory, Syntactic translations and provably recursive functions, CZF does not have the existence property, Forcing in intuitionistic systems without power-set, Nondeducibility of the uniformization principles from Church's thesis in intuitionistic set theory, Relating first-order set theories, toposes and categories of classes, Epistemic set theory is a conservative extension of intuitionistic set theory, Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language, Radical theory of Scott-open filters, WHAT IS A RESTRICTIVE THEORY?, An approach to the constructivization of Cantor's set theory, Realizability algebras III: some examples, Maximal elements with minimal logic, Apartness, sharp elements, and the Scott topology of domains, The strength of extensionality. II: Weak weak set theories without infinity, The consistency of some intuitionistic and constructive principles with a set theory, Effectivity properties of intuitionistic set theory with collection scheme, Interpreting classical theories in constructive ones, A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP, One hundred and two problems in mathematical logic, Extending Gödel's negative interpretation to ZF, On Evans's vague object from set theoretic viewpoint, Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets, A Brief Introduction to Algebraic Set Theory, A type-free Gödel interpretation, The strength of extensionality. I: Weak weak set theories with infinity, The generalised type-theoretic interpretation of constructive set theory, Towards a computation system based on set theory, Intuitionistic theory of functionals of higher type, On the Type-Free Paracoherent Foundation of Mathematics with the Sedate Extension of Classical Logic by the Librationist Set Theory £, and Specifically on Why £Is Neither Inconsistent nor Contradictory nor Paraconsistent, Predicativity and constructive mathematics, Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions, Large sets in intuitionistic set theory, LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION, Maximal ideals in countable rings, constructively, The lack of definable witnesses and provably recursive functions in intuitionistic set theories, Arithmetic transfinite induction and recursive well-orderings, Constructive mathematics, Church's thesis, and free choice sequences