The following pages link to (Q3138829):
Displaying 28 items.
- Relativized ordinal analysis: the case of power Kripke-Platek set theory (Q392292) (← links)
- Ordinal analysis of non-monotone \(\Pi_1^0\)-definable inductive definitions (Q958493) (← links)
- Patterns of resemblance of order 2 (Q1011757) (← links)
- Well-ordering proofs for Martin-Löf type theory (Q1295372) (← links)
- A uniform approach for characterizing the provably total number-theoretic functions of KPM and (some of) its subsystems (Q1300010) (← links)
- Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM (Q1322453) (← links)
- Proof theory of reflection (Q1332853) (← links)
- Proof theory for theories of ordinals. I: Recursively Mahlo ordinals (Q1400597) (← links)
- Functional interpretation of Aczel's constructive set theory (Q1577478) (← links)
- An ordinal analysis of stability (Q1765099) (← links)
- An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension (Q1777268) (← links)
- Cut-elimination for \(\omega_{1}\) (Q1799034) (← links)
- Pure \(\Sigma_2\)-elementarity beyond the core (Q2041963) (← links)
- \(\Pi_1^1\)-comprehension as a well-ordering principle (Q2274030) (← links)
- Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM (Q2388437) (← links)
- Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory (Q2514846) (← links)
- Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory (Q3305554) (← links)
- From Subsystems of Analysis to Subsystems of Set Theory (Q3305559) (← links)
- On Relating Theories: Proof-Theoretical Reduction (Q3305638) (← links)
- Cut-Elimination for SBL (Q5013907) (← links)
- An Upper Bound for the Proof-Theoretic Strength of Martin-Löf Type Theory with W-type and One Universe (Q5013908) (← links)
- A Glimpse of $$ \sum_{3} $$-elementarity (Q5013913) (← links)
- Zur Beweistheorie Von KPM (Q5013916) (← links)
- Simplified Cut Elimination for Kripke-Platek Set Theory (Q5055279) (← links)
- On the Performance of Axiom Systems (Q5055280) (← links)
- Iterated Inductive Definitions Revisited (Q5214787) (← links)
- Proof Theory of Constructive Systems: Inductive Types and Univalence (Q5214792) (← links)
- A SIMPLIFIED ORDINAL ANALYSIS OF FIRST-ORDER REFLECTION (Q5855753) (← links)
