The following pages link to Turing complexity of the ordinals (Q580332):
Displaying 4 items.
- A coding of the countable linear orderings (Q803179) (← links)
- \(\Pi^ 1_ 1\)-complete families of elementary sequences (Q1103613) (← links)
- Every recursive linear ordering has a copy in DTIME-SPACE(<i>n</i>,log(<i>n</i>)) (Q3489983) (← links)
- Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization (Q5740666) (← links)
