Pages that link to "Item:Q4175275"
From MaRDI portal
The following pages link to Ordinals connected with formal theories for transfinitely iterated inductive definitions (Q4175275):
Displaying 9 items.
- A new system of proof-theoretic ordinal functions (Q1109029) (← links)
- Beweistheoretische Abgrenzung von Teilsystemen der Analysis (Q1139586) (← links)
- Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory (Q2514846) (← links)
- Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results (Q2566073) (← links)
- Well-Partial Orderings and their Maximal Order Types (Q3295157) (← links)
- From Subsystems of Analysis to Subsystems of Set Theory (Q3305559) (← links)
- Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1 (Q3942955) (← links)
- Über Teilsysteme von $$\bar \Theta $$ ({g}) (Q4140960) (← links)
- Iterated Inductive Definitions Revisited (Q5214787) (← links)
