Pages that link to "Item:Q4304798"
From MaRDI portal
The following pages link to How to develop Proof‐Theoretic Ordinal Functions on the basis of admissible ordinals (Q4304798):
Displaying 14 items.
- Relativized ordinal analysis: the case of power Kripke-Platek set theory (Q392292) (← links)
- The Bachmann-Howard structure in terms of \(\Sigma_1\)-elementarity (Q850804) (← links)
- Ordinal arithmetic based on Skolem hulling (Q866560) (← links)
- Well-ordering proofs for Martin-Löf type theory (Q1295372) (← links)
- Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM (Q1322453) (← links)
- Proof theory of reflection (Q1332853) (← links)
- An ordinal analysis of stability (Q1765099) (← links)
- An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension (Q1777268) (← links)
- Pure \(\Sigma_2\)-elementarity beyond the core (Q2041963) (← links)
- Theories and ordinals in proof theory (Q2500821) (← links)
- Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory (Q3305554) (← links)
- Accessible Recursive Functions (Q4940736) (← links)
- A Glimpse of $$ \sum_{3} $$-elementarity (Q5013913) (← links)
- Well ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)
