Nothing Special   »   [go: up one dir, main page]

skip to main content
10.5555/1419190.1419241guideproceedingsArticle/Chapter ViewAbstractPublication PagesConference Proceedingsacm-pubtype
Article

The Complexity of Quickly ORM-Decidable Sets

Published: 18 June 2007 Publication History

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}$.

References

[1]
Ashe, C.J., Knight, J.: Computable Structures and the Hyperarithmetical Hierarchy. In: Studies in Logic and the Foundations of Mathematics. Elsevier, Amsterdam (2000).
[2]
Hamkins, David, J., Lewis, A.: Infinite Time Turing Machines. J. Symbolic Logic 65(2), 567-604 (2000).
[3]
Hamkins, David, J., Miller, R.: Post's Problem for Ordinal Register Machines. (To appear in this volume).
[4]
Jech, Thomas.: Set Theory. The Third Millenium Edition. In: Springer Monographs in Mathematics, Springer, Heidelberg (2003).
[5]
Koepke, Peter.: 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
[6]
Koepke, Peter.: Turing Computations on Ordinals. J. Symbolic Logic 11(3), 377-397 (2005).
[7]
Rogers, Hartley Jr.: Theory of Recursive Functions and Effective Computability. The MIT Press, Cambridge (1967).
[8]
Sacks, G.E.: Higher Recursion Theory. In: Perspectives in Mathematical Logic, Springer, Heidelberg (1990).
[9]
Shoenfield, Joseph, R. (eds.): Recursion Theory. Lecture Notes in Logic. Springer, Heidelberg (1993).

Cited By

View all
  • (2008)An Enhanced Theory of Infinite Time Register MachinesProceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms10.1007/978-3-540-69407-6_34(306-315)Online publication date: 15-Jun-2008
  1. The Complexity of Quickly ORM-Decidable Sets

    Recommendations

    Comments

    Please enable JavaScript to view thecomments powered by Disqus.

    Information & Contributors

    Information

    Published In

    cover image Guide Proceedings
    CiE '07: Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
    June 2007
    824 pages
    ISBN:9783540730002
    • Editors:
    • S. Barry Cooper,
    • Benedikt Löwe,
    • Andrea Sorbi

    Publisher

    Springer-Verlag

    Berlin, Heidelberg

    Publication History

    Published: 18 June 2007

    Author Tags

    1. Ordinal
    2. arithmetical hierarchy
    3. complexity
    4. computability
    5. hyperarithmetical hierarchy
    6. infinite time computation
    7. ordinal computation
    8. register machine

    Qualifiers

    • Article

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)0
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 17 Feb 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (2008)An Enhanced Theory of Infinite Time Register MachinesProceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms10.1007/978-3-540-69407-6_34(306-315)Online publication date: 15-Jun-2008

    View Options

    View options

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media