The following pages link to An ordinal analysis of stability (Q1765099):
Displaying 10 items.
- Relativized ordinal analysis: the case of power Kripke-Platek set theory (Q392292) (← links)
- Epsilon substitution for \(ID_1\) via cut-elimination (Q1661673) (← links)
- Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results (Q2566073) (← links)
- Weak systems of determinacy and arithmetical quasi-inductive definitions (Q3011112) (← links)
- On Relating Theories: Proof-Theoretical Reduction (Q3305638) (← links)
- A Buchholz derivation system for the ordinal analysis of <b>KP</b> + Π<sub>3</sub>-reflection (Q3416113) (← links)
- Lorenzen Between Gentzen and Schütte (Q5024725) (← links)
- Iterated Inductive Definitions Revisited (Q5214787) (← links)
- A SIMPLIFIED ORDINAL ANALYSIS OF FIRST-ORDER REFLECTION (Q5855753) (← links)
- Well ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)
