Pages that link to "Item:Q582289"
From MaRDI portal
The following pages link to Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees (Q582289):
Displaying 7 items.
- A new system of proof-theoretic ordinal functions (Q1109029) (← links)
- Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones (Q1908812) (← links)
- Well-partial-orderings and the big Veblen number (Q2257112) (← links)
- Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition (Q2402963) (← links)
- Ordinal arithmetic with simultaneously defined theta-functions (Q2996224) (← links)
- How to Compare Buchholz-Style Ordinal Notation Systems with Gordeev-Style Notation Systems (Q3195714) (← links)
- Strong WQO Tree Theorems (Q3295147) (← links)
