Pages that link to "Item:Q1887655"
From MaRDI portal
The following pages link to Proof theory for theories of ordinals. II: \(\Pi_{3}\)-reflection (Q1887655):
Displaying 15 items.
- Relativized ordinal analysis: the case of power Kripke-Platek set theory (Q392292) (← links)
- Wellfoundedness proofs by means of non-monotonic inductive definitions. II: First order operators (Q638478) (← links)
- Ordinal analysis by transformations (Q1006618) (← links)
- Proof theory of reflection (Q1332853) (← links)
- Proof theory for theories of ordinals. I: Recursively Mahlo ordinals (Q1400597) (← links)
- Epsilon substitution for \(ID_1\) via cut-elimination (Q1661673) (← links)
- Proof theory of weak compactness (Q2853981) (← links)
- (Q3025175) (← links)
- Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory (Q3305554) (← links)
- Epsilon substitution method for -FIX (Q3416109) (← links)
- A Buchholz derivation system for the ordinal analysis of <b>KP</b> + Π<sub>3</sub>-reflection (Q3416113) (← links)
- Proof Pearl: Wellfounded Induction on the Ordinals Up to ε 0 (Q3523183) (← links)
- REFLECTION RANKS AND ORDINAL ANALYSIS (Q5021919) (← links)
- Well-Ordering Principles in Proof Theory and Reverse Mathematics (Q5055281) (← links)
- Proof Theory for Theories of Ordinals III: $$\Pi _{N}$$ -Reflection (Q5361255) (← links)