Pages that link to "Item:Q3942955"
From MaRDI portal
The following pages link to Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1 (Q3942955):
Displaying 7 items.
- Ordinal analysis of non-monotone \(\Pi_1^0\)-definable inductive definitions (Q958493) (← links)
- Ordinal analysis by transformations (Q1006618) (← links)
- Epsilon substitution for \(ID_1\) via cut-elimination (Q1661673) (← links)
- Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results (Q2566073) (← links)
- From Subsystems of Analysis to Subsystems of Set Theory (Q3305559) (← links)
- Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen (Q3968911) (← links)
- Simplified Cut Elimination for Kripke-Platek Set Theory (Q5055279) (← links)
