Achilles and the tortoise climbing up the arithmetical hierarchy

DOI10.1007/3-540-60692-0_68MaRDI QIDQ5892252zbMATH OpenOpenAlexFDO

Authors Eugene Asarin, Oded Maler

Publication date 19 January 2017

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-60692-0_68

Mathematics Subject Classification ID

Hierarchies of computability and definability (03D55)

Recommendations

• Achilles and the tortoise climbing up the arithmetical hierarchy
• scientific article; zbMATH DE number 1858076
• Achilles and the tortoise climbing up the hyper-arithmetical hierarchy
• On some relations between dynamical systems and transition systems
• A generalised dynamical system, infinite time register machines, and \(\Pi^1_1\)-\(\mathrm{CA}_{0}\)

Cited in

(8)

• Achilles and the tortoise climbing up the hyper-arithmetical hierarchy
• On the computational power of dynamical systems and hybrid systems
• Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo
• Some bounds on the computational power of piecewise constant derivative systems
• scientific article; zbMATH DE number 7568220 (Why is no real title available?)
• scientific article; zbMATH DE number 7644105 (Why is no real title available?)
• Achilles and the tortoise climbing up the arithmetical hierarchy
• scientific article; zbMATH DE number 7686231 (Why is no real title available?)

This page was built for publication: Achilles and the tortoise climbing up the arithmetical hierarchy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5892252)