Pages that link to "Item:Q1861331"
From MaRDI portal
The following pages link to Ordinal notations and well-orderings in bounded arithmetic (Q1861331):
Displaying 11 items.
- The strength of extensionality. II: Weak weak set theories without infinity (Q639665) (← links)
- Ordinal notations based on a hierarchy of inaccessible cardinals (Q1109768) (← links)
- A comparison of well-known ordinal notation systems for \(\varepsilon _{0}\) (Q2370371) (← links)
- Wellfoundedness proof with the maximal distinguished set (Q2700827) (← links)
- A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal (Q3305550) (← links)
- A Characterisation of Definable NP Search Problems in Peano Arithmetic (Q3638270) (← links)
- (Q3753997) (← links)
- A NOTATION SYSTEM FOR ORDINAL USING Ψ‐FUNCTIONS ON INACCESSIBLE MAHLO NUMBERS (Q4295245) (← links)
- A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal (Q5214782) (← links)
- An addition to "On defining well-orderings" (Q5596754) (← links)
- Witnessing flows in arithmetic (Q6646013) (← links)