Pages that link to "Item:Q1344548"
From MaRDI portal
The following pages link to The strength of some Martin-Löf type theories (Q1344548):
Displaying 26 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)
- Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice (Q5060191) (← 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)
