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

DOI10.1007/978-3-642-21875-0_16zbMath1345.03111OpenAlexW1506356224MaRDI QIDQ3091451

Peter Koepke, Philip D. Welch

Publication date: 9 September 2011

Published in: Models of Computation in Context (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-21875-0_16

Mathematics Subject Classification ID

Dynamical aspects of cellular automata (37B15) Second- and higher-order arithmetic and fragments (03F35) Turing machines and related notions (03D10)

Related Items (2)

Discrete Transfinite Computation ⋮ The distribution of ITRM-recognizable reals

Cites Work

• Unnamed Item
• The basic theory of infinite time register machines
• Weak systems of determinacy and arithmetical quasi-inductive definitions
• An Enhanced Theory of Infinite Time Register Machines
• Ordinal Computability
• Computability of Recursive Functions

This page was built for publication: A Generalised Dynamical System, Infinite Time Register Machines, and $\Pi^1_1$ -CA0