Pages that link to "Item:Q4405158"

The following pages link to The consistency of classical set theory relative to a set theory with intu1tionistic logic (Q4405158):

Displaying 40 items.

• Relating first-order set theories, toposes and categories of classes (Q386623) (← links)
• A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP (Q476116) (← links)
• The strength of extensionality. II: Weak weak set theories without infinity (Q639665) (← links)
• Effectivity properties of intuitionistic set theory with collection scheme (Q650477) (← links)
• Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets (Q722147) (← links)
• Large sets in intuitionistic set theory (Q796524) (← links)
• The strength of extensionality. I: Weak weak set theories with infinity (Q1006617) (← links)
• The lack of definable witnesses and provably recursive functions in intuitionistic set theories (Q1071017) (← links)
• Arithmetic transfinite induction and recursive well-orderings (Q1071019) (← links)
• Nondeducibility of the uniformization principles from Church's thesis in intuitionistic set theory (Q1114683) (← links)
• An approach to the constructivization of Cantor's set theory (Q1147138) (← links)
• The consistency of some intuitionistic and constructive principles with a set theory (Q1167160) (← links)
• Towards a computation system based on set theory (Q1825191) (← links)
• Intuitionistic theory of functionals of higher type (Q1825192) (← links)
• Predicativity and constructive mathematics (Q2080590) (← links)
• Maximal ideals in countable rings, constructively (Q2104249) (← links)
• Constructive mathematics, Church's thesis, and free choice sequences (Q2117809) (← links)
• Metamathematical properties of a constructive multi-typed theory (Q2363505) (← links)
• On Evans's vague object from set theoretic viewpoint (Q2499306) (← links)
• CZF does not have the existence property (Q2637709) (← links)
• Radical theory of Scott-open filters (Q2682912) (← links)
• Interpreting classical theories in constructive ones (Q2710607) (← links)
• Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language (Q2947456) (← links)
• A Brief Introduction to Algebraic Set Theory (Q3616432) (← links)
• Replacement and collection in intuitionistic set theory (Q3710522) (← links)
• Syntactic translations and provably recursive functions (Q3722497) (← links)
• Forcing in intuitionistic systems without power-set (Q3726114) (← links)
• Epistemic set theory is a conservative extension of intuitionistic set theory (Q3758827) (← links)
• One hundred and two problems in mathematical logic (Q4079563) (← links)
• Extending Gödel's negative interpretation to ZF (Q4128815) (← links)
• A type-free Gödel interpretation (Q4175558) (← links)
• Realizability algebras III: some examples (Q4599612) (← links)
• 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 (Q5241538) (← links)
• Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions (Q5253934) (← links)
• The generalised type-theoretic interpretation of constructive set theory (Q5477624) (← links)
• LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION (Q5858930) (← links)
• WHAT IS A RESTRICTIVE THEORY? (Q6131223) (← links)
• Maximal elements with minimal logic (Q6161463) (← links)
• Apartness, sharp elements, and the Scott topology of domains (Q6190408) (← links)
• A new model construction by making a detour via intuitionistic theories. IV: A closer connection between \(\mathrm{KP} \omega\) and \(\mathrm{BI}\). (Q6539428) (← links)