The following pages link to Worms, gaps, and hydras (Q5462986):
Displaying 4 items.
- On elementary theories of ordinal notation systems based on reflection principles (Q281010) (← links)
- A comparison of well-known ordinal notation systems for \(\varepsilon _{0}\) (Q2370371) (← links)
- Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results (Q2566073) (← links)
- Topological Interpretations of Provability Logic (Q5255798) (← links)
