Pages that link to "Item:Q5214782"
From MaRDI portal
The following pages link to A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal (Q5214782):
Displaying 14 items.
- Goodstein sequences for prominent ordinals up to the Bachmann-Howard ordinal (Q408160) (← links)
- An order-theoretic characterization of the Howard-Bachmann-hierarchy (Q512137) (← links)
- The Bachmann-Howard structure in terms of \(\Sigma_1\)-elementarity (Q850804) (← links)
- Fruitful and helpful ordinal functions (Q953278) (← links)
- Ordinal notations and well-orderings in bounded arithmetic (Q1861331) (← links)
- A comparison of two systems of ordinal notations (Q1879003) (← links)
- A comparison of well-known ordinal notation systems for \(\varepsilon _{0}\) (Q2370371) (← links)
- Bounds for the closure ordinals of essentially monotonic increasing functions (Q3138020) (← links)
- A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal (Q3305550) (← links)
- A NOTATION SYSTEM FOR ORDINAL USING Ψ‐FUNCTIONS ON INACCESSIBLE MAHLO NUMBERS (Q4295245) (← links)
- On the Performance of Axiom Systems (Q5055280) (← links)
- PREDICATIVE COLLAPSING PRINCIPLES (Q5107241) (← links)
- Monomial ideals and independence of (Q5108088) (← links)
- Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal (Q6560988) (← links)
