Abstract
The Ordinal Register Machine (ORM) is one of several different machine models for infinitary computability. We classify, by complexity, the sets that can be decided quickly by ORMs. In particular, we show that the arithmetical sets are exactly those sets that can be decided by ORMs in times uniformly less than \({\ensuremath{\omega^\omega}}\). Further, we show that the hyperarithmetical sets are exactly those sets that can be decided by an ORM in time uniformly less than \(\omega_1^{CK}\).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ashe, C.J., Knight, J.: Computable Structures and the Hyperarithmetical Hierarchy. In: Studies in Logic and the Foundations of Mathematics, Elsevier, Amsterdam (2000)
Hamkins, J.D., Lewis, A.: Infinite Time Turing Machines. J. Symbolic Logic 65(2), 567–604 (2000)
Hamkins, J.D., Miller, R.: Post’s Problem for Ordinal Register Machines (to appear in this volume)
Jech, T.: Set Theory. The Third Millenium Edition. In: Springer Monographs in Mathematics, Springer, Heidelberg (2003)
Koepke, P.: Ordinals, Computations, and Models of Set Theory: A Tutorial at Days in Logic, Coimbra, Portugal. Tutorial Material. (accessed January 2006), http://www.mat.uc.pt/~kahle/dl06/koepke.pdf
Koepke, P.: Turing Computations on Ordinals. J. Symbolic Logic 11(3), 377–397 (2005)
Rogers Jr, H.: Theory of Recursive Functions and Effective Computability. The MIT Press, Cambridge (1967)
Sacks, G.E.: Higher Recursion Theory. In: Perspectives in Mathematical Logic, Springer, Heidelberg (1990)
Shoenfield, J.R. (ed.): Recursion Theory. Lecture Notes in Logic. Springer, Heidelberg (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hamkins, J.D., Linetsky, D., Miller, R. (2007). The Complexity of Quickly ORM-Decidable Sets. In: Cooper, S.B., Löwe, B., Sorbi, A. (eds) Computation and Logic in the Real World. CiE 2007. Lecture Notes in Computer Science, vol 4497. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73001-9_51
Download citation
DOI: https://doi.org/10.1007/978-3-540-73001-9_51
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73000-2
Online ISBN: 978-3-540-73001-9
eBook Packages: Computer ScienceComputer Science (R0)