Degrees of Weakly Computable Reals

  • Keng Meng Ng
  • Frank Stephan
  • Guohua Wu
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3988)

Abstract

This paper studies the degrees of weakly computable reals. It is shown that certain types of limit-recursive reals are Turing incomparable to all weakly computable reals except the recursive and complete ones. Furthermore, it is shown that an r.e. Turing degree is array-recursive iff every real in it is weakly computable.

This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Ambos-Spies, K., Weihrauch, K., Zheng, X.: Weakly computable real numbers. Journal of Complexity 16, 676–690 (2000)MathSciNetCrossRefMATHGoogle Scholar
  2. 2.
    Chaitin, G.: A theory of program size formally identical to information theory. Journal of the Association for Computing Machinery 22, 329–340 (1975)MathSciNetCrossRefMATHGoogle Scholar
  3. 3.
    Downey, R., Wu, G., Zheng, X.: Degrees of d.c.e. reals. Mathematical Logic Quarterly 50, 345–350 (2004)MathSciNetCrossRefMATHGoogle Scholar
  4. 4.
    Downey, R., Hirschfeldt, D., Nies, A., Stephan, F.: Trivial reals. In: Proceedings of the 7th and 8th Asian Logic Conferences, pp. 103–131. World Scientific, Singapore (2003)CrossRefGoogle Scholar
  5. 5.
    Downey, R., Hirschfeldt, D., Miller, J., Nies, A.: Relativizing Chaitin’s halting probability. Journal of Mathematical Logic 5, 167–192 (2005)MathSciNetCrossRefMATHGoogle Scholar
  6. 6.
    Downey, R., Jockusch Jr., C., Stob, M.: Array nonrecursive sets and multiple permitting arguments. In: Ambos-Spies, et al. (eds.) Recursive Theory Week (Proceedings, Oberwolfach). Lecture Notes in Math., vol. 1432, pp. 141–173. Springer, Heidelberg (1989)CrossRefGoogle Scholar
  7. 7.
    Downey, R., Jockusch Jr., C., Stob, M.: Array nonrecursive sets and genericity. In: Computability, Enumerability, Unsolvability: Directions in Recursion Theory. London Math. Soc. Lecture Notes Series, vol. 224, pp. 93–104. Cambridge University Press, Cambridge (1996)CrossRefGoogle Scholar
  8. 8.
    Ishmukhametov, S.: Weak recursive degrees and a problem of Spector. In: de Gruyter, W., Recursion Theory and Complexity (Proceedings of the Kazan 1997, workshop), pp. 81–88 (1999)Google Scholar
  9. 9.
    Jockusch Jr., C.: Simple proofs of some theorems on high degrees of unsolvability. Canadian Journal of Mathematics 29, 1072–1080 (1977)MathSciNetCrossRefMATHGoogle Scholar
  10. 10.
    Kučera, A., Slaman, T.A.: Randomness and recursive enumerability. SIAM Journal on Computing 31, 199–211 (2001)MathSciNetCrossRefMATHGoogle Scholar
  11. 11.
    Nies, A.: Lowness properties of reals and randomness. Advances in Mathematics 197, 274–305 (2005)MathSciNetCrossRefMATHGoogle Scholar
  12. 12.
    Odifreddi, P.: Classical Recursion Theory, vol. I , II. North-Holland/Elsevier, Amsterdam (1989/1999)Google Scholar
  13. 13.
    Soare, R.I.: Recursively Enumerable Sets and Degrees. Springer, Heidelberg (1987)CrossRefMATHGoogle Scholar
  14. 14.
    Mike Yates, C.E.: Recursively enumerable degrees and the degrees less than 0′. Models and Recursion Theory, pp. 264–271. North-Holland, Amsterdam (1967)Google Scholar
  15. 15.
    Wu, G.: Jump operators and Yates degrees. The Journal of Symbolic Logic 71, 252–264 (2006)MathSciNetCrossRefMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Keng Meng Ng
    • 1
  • Frank Stephan
    • 2
  • Guohua Wu
    • 3
  1. 1.School of Mathematics, Statistics and Computer ScienceVictoria University of WellingtonNew Zealand
  2. 2.School of Computing and Department of MathematicsNational University of SingaporeSingapore
  3. 3.School of Physical and Mathematical SciencesNanyang Technological UniversitySingapore

Personalised recommendations