Pages that link to "Item:Q3091451"

The following pages link to A Generalised Dynamical System, Infinite Time Register Machines, and $\Pi^1_1$ -CA0 (Q3091451):

Displaying 2 items.

• The distribution of ITRM-recognizable reals (Q2453067) (← links)
• Discrete Transfinite Computation (Q2906573) (← links)