Pages that link to "Item:Q2904409"
From MaRDI portal
The following pages link to Turing Progressions and Their Well-Orders (Q2904409):
Displaying 5 items.
- Hyperations, Veblen progressions and transfinite iteration of ordinal functions (Q385073) (← links)
- On provability logics with linearly ordered modalities (Q456968) (← links)
- The logic of Turing progressions (Q2176413) (← links)
- Turing Computations On Ordinals (Q3370613) (← links)
- Topological Interpretations of Provability Logic (Q5255798) (← links)