The following pages link to Ordinal Computability (Q3576060):
Displayed 4 items.
- The distribution of ITRM-recognizable reals (Q2453067) (← links)
- The computational strengths of \(\alpha\)-tape infinite time Turing machines (Q2453073) (← links)
- A Generalised Dynamical System, Infinite Time Register Machines, and $\Pi^1_1$ -CA0 (Q3091451) (← links)
- 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09 (Q5305554) (← links)