A Generalised Dynamical System, Infinite Time Register Machines, and $\Pi^1_1$ -CA0.

Peter Koepke, Philip D. Welch

Browse the full CiE paper archive.