Israel Journal of Mathematics

, Volume 191, Issue 2, pp 791–816 | Cite as

Randomness notions and partial relativization

  • George Barmpalias
  • Joseph S. Miller
  • André Nies
Article

Abstract

We study the computational complexity of an oracle set using a number of notions of randomness that lie between Martin-Löf randomness and 2-randomness in terms of strength. These notions are weak 2-randomness, weak randomness relative to ∅′, Demuth randomness and Schnorr randomness relative to ∅′. We characterize the oracles A such that ML[A] ⊆ C, where C is such a randomness notion and ML[A] denotes the Martin-Löf random reals relative to A, using a new meta-concept called partial relativization. We study the reducibility associated with weak 2-randomness and relate it with LR-reducibility.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Bar10]
    G. Barmpalias, Relative randomness and cardinality, Notre Dame Journal of Formal Logic 51 (2010), 195–205.MathSciNetMATHCrossRefGoogle Scholar
  2. [BLS08a]
    G. Barmpalias, A. E. M. Lewis and M. Soskova, Randomness, lowness and degrees, The Journal of Symbolic Logic 73 (2008), 559–577.MathSciNetMATHCrossRefGoogle Scholar
  3. [BLS08b]
    G. Barmpalias, A. E. M. Lewis and F. Stephan, Π10 classes, LR degrees and Turing degrees, Annals of Pure and Applied Logic 156 (2008), 21–38.MathSciNetMATHCrossRefGoogle Scholar
  4. [Cha76]
    G. Chaitin, Information-theoretical characterizations of recursive infinite strings, Theoretical Computer Science 2 (1976), 45–48.MathSciNetMATHCrossRefGoogle Scholar
  5. [CS07]
    J. A. Cole and S. G. Simpson, Mass problems and hyperarithmeticity, Journal of Mathematical Logic 7 (2007), 125–143.MathSciNetMATHCrossRefGoogle Scholar
  6. [Dem88]
    O. Demuth, Remarks on the structure of tt-degrees based on constructive measure theory, Commentationes Mathematicae Universitatis Carolinae 29 (1988), 233–247.MathSciNetMATHGoogle Scholar
  7. [DS04]
    N. Dobrinen and S. Simpson, Almost everywhere domination, The Journal of Symbolic Logic 69 (2004), 914–922.MathSciNetMATHCrossRefGoogle Scholar
  8. [FHM+10]
    S. Figueira, D. Hirschfeldt, J. Miller, S. Ng and A. Nies, Counting the changes of random Δ20 sets, in Programs, Proofs, Processes, 6th Conference on Computability in Europe, CiE2010. Proceedings (F. Ferreira, B. Löwe, C. Mayerdom and L. Mendes Gomes, eds.) Lecture Notes in Computer Science, Vol. 6158, Springer-Verlag, Berlin-Heidelberg, 2010, pp. 162–171.Google Scholar
  9. [GM09]
    N. Greenberg and J. Miller, Lowness for Kurtz randomness, The Journal of Symbolic Logic 74 (2009), 665–678.MathSciNetMATHCrossRefGoogle Scholar
  10. [KH07]
    B. Kjos-Hanssen, Low for random reals and positive-measure domination, Proceedings of the American Mathematical Society 135 (2007), 3703–3709 (electronic).MathSciNetMATHCrossRefGoogle Scholar
  11. [KHMS10]
    B. Kjos-Hanssen, J. Miller and R. Solomon, Lowness notions, measure, and domination, Journal of the London Mathematical Society, to appear.Google Scholar
  12. [KN11]
    A. Kučera and A. Nies, Demuth randomness and computational complexity, Annals of Pure and Applied Logic 162 (2011), 504–513.MathSciNetMATHCrossRefGoogle Scholar
  13. [KT99]
    A. Kučera and S. A. Terwijn, Lowness for the class of random sets, The Journal of Symbolic Logic 64 (1999), 1396–1402.MATHCrossRefGoogle Scholar
  14. [Kuč85]
    A. Kučera, Measure, Π10 -classes and complete extensions of PA, in Recursion Theory Week (Oberwolfach, 1984), Lecture Notes in Mathematics, Vol. 1141, Springer, Berlin, 1985, pp. 245–259.Google Scholar
  15. [LMN07]
    A. E. M. Lewis, A. Montalbán and A. Nies, A weakly 2-random set that is not generalized low, in Computability in Europe 2007, Lecture Notes in Computer Science, Vol. 4497, Springer, Berlin, 2007, pp. 474–477.Google Scholar
  16. [Mil10]
    J. S. Miller, The K-degrees, low for K degrees, and weakly low for K sets, Notre Dame Journal of Formal Logic 50 (2010), 381–391.CrossRefGoogle Scholar
  17. [Nie05]
    A. Nies, Lowness properties and randomness, Advances in Mathematics 197 (2005), 274–305.MathSciNetMATHCrossRefGoogle Scholar
  18. [Nie09a]
    A. Nies, Computability and Randomness, Oxford Logic Guides, Vol. 51, Oxford University Press, Oxford, 2009.MATHCrossRefGoogle Scholar
  19. [Nie09b]
    A. Nies, New directions in computability and randomness, Talk at the CCR 2009 in Luminy, available at http://www.cs.auckland.ac.nz/~nies/talklinks/Luminy.pdf, 2009.
  20. [Sim07]
    S. G. Simpson, Almost everywhere domination and superhighness, Mathematical Logic Quarterly 53 (2007), 462–482.MathSciNetMATHCrossRefGoogle Scholar
  21. [TZ01]
    S. Terwijn and D. Zambella, Algorithmic randomness and lowness, The Journal of Symbolic Logic 66 (2001), 1199–1205.MathSciNetMATHCrossRefGoogle Scholar

Copyright information

© Hebrew University Magnes Press 2012

Authors and Affiliations

  • George Barmpalias
    • 1
  • Joseph S. Miller
    • 2
  • André Nies
    • 3
  1. 1.School of Mathematics, Statistics, and Computer ScienceVictoria UniversityWellingtonNew Zealand
  2. 2.Department of MathematicsUniversity of WisconsinMadisonUSA
  3. 3.Department of Computer ScienceUniversity of AucklandAucklandNew Zealand

Personalised recommendations