Ordinal Computability
From MaRDI portal
Publication:3576060
DOI10.1007/978-3-642-03073-4_29zbMath1268.03060OpenAlexW2912644765MaRDI QIDQ3576060
Publication date: 28 July 2010
Published in: Mathematical Theory and Computational Practice (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-03073-4_29
Turing machines and related notions (03D10) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items (15)
2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09 ⋮ $$ITRM$$-Recognizability from Random Oracles ⋮ Symmetry for transfinite computability ⋮ All melodies are lost -- recognizability for weak and strong \(\alpha \)-register machines ⋮ Finding bases of uncountable free abelian groups is usually difficult ⋮ The distribution of ITRM-recognizable reals ⋮ The computational strengths of \(\alpha\)-tape infinite time Turing machines ⋮ Koepke machines and satisfiability for infinitary propositional languages ⋮ Characterizations of ITBM-computability. I ⋮ OPTIMAL RESULTS ON RECOGNIZABILITY FOR INFINITE TIME REGISTER MACHINES ⋮ Unnamed Item ⋮ A Generalised Dynamical System, Infinite Time Register Machines, and $\Pi^1_1$ -CA0 ⋮ Taming Koepke's zoo. II: Register machines ⋮ Lower bounds on \(\beta (\alpha)\) ⋮ Clockability for ordinal Turing machines
Cites Work
This page was built for publication: Ordinal Computability
