Pages that link to "Item:Q1344548"

The following pages link to The strength of some Martin-Löf type theories (Q1344548):

Displaying 37 items.

• Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience (Q386630) (← links)
• Well-ordering proofs for Martin-Löf type theory (Q1295372) (← links)
• Inaccessibility in constructive set theory and type theory (Q1295396) (← links)
• On the proof-theoretic strength of monotone induction in explicit mathematics (Q1356976) (← links)
• Functional interpretation of Aczel's constructive set theory (Q1577478) (← links)
• Inaccessible set axioms may have little consistency strength (Q1612481) (← links)
• Independence results around constructive ZF (Q1765158) (← links)
• Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe (Q1861330) (← links)
• Non-deterministic inductive definitions (Q1935375) (← links)
• A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\) (Q2344720) (← links)
• CZF and second order arithmetic (Q2498896) (← links)
• Quotient topologies in constructive set theory and type theory (Q2498911) (← links)
• Characterizing the interpretation of set theory in Martin-Löf type theory (Q2500469) (← links)
• Heyting-valued interpretations for constructive set theory (Q2575769) (← links)
• Interpreting classical theories in constructive ones (Q2710607) (← links)
• On Tarski’s fixed point theorem (Q2944797) (← links)
• On the existence of Stone-Čech compactification (Q3066786) (← links)
• On Relating Theories: Proof-Theoretical Reduction (Q3305638) (← links)
• 2004 Summer Meeting of the Association for Symbolic Logic (Q3370624) (← links)
• 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05 (Q3430941) (← links)
• Realization of analysis into Explicit Mathematics (Q4328839) (← links)
• Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory? (Q4704657) (← links)
• Recent Advances in Ordinal Analysis: Π¹₂— CA and Related Systems (Q4873894) (← links)
• Monotone inductive definitions in explicit mathematics (Q4879904) (← links)
• On power set in explicit mathematics (Q4894722) (← links)
• 1999 European Summer Meeting of the Association for Symbolic Logic (Q4953838) (← links)
• (Q5009707) (← links)
• An Upper Bound for the Proof-Theoretic Strength of Martin-Löf Type Theory with W-type and One Universe (Q5013908) (← links)
• Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice (Q5060191) (← links)
• Proof Theory of Constructive Systems: Inductive Types and Univalence (Q5214792) (← links)
• Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions (Q5253934) (← links)
• A cumulative hierarchy of sets for constructive set theory (Q5404160) (← links)
• The generalised type-theoretic interpretation of constructive set theory (Q5477624) (← links)
• The disjunction and related properties for constructive Zermelo-Fraenkel set theory (Q5486250) (← links)
• Does Mathematics Need New Axioms? (Q5890202) (← links)
• Does Mathematics Need New Axioms? (Q5890203) (← links)
• Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms (Q5957853) (← links)