Lowness for the Class of Schnorr Random Reals

We answer a question of Ambos-Spies and Kucera in the affirmative. They asked whether, when a real is low for Schnorr randomness, it is already low for Schnorr tests.

[1]  A. Church.  On the concept of a random sequence , 1940 .

[2]  Per Martin-Löf,et al.  The Definition of Random Sequences , 1966, Inf. Control..

[3]  Donald A. Martin,et al.  The Degrees of Hyperimmune Sets , 1968 .

[4]  Claus-Peter Schnorr,et al.  Zufälligkeit und Wahrscheinlichkeit - Eine algorithmische Begründung der Wahrscheinlichkeitstheorie , 1971, Lecture Notes in Mathematics.

[5]  C. Schnorr.  Zufälligkeit und Wahrscheinlichkeit , 1971 .

[6]  A. Kucera.  Measure, Π10-classes and complete extensions of PA , 1985 .

[7]  Michiel van Lambalgen,et al.  The Axiomatization of Randomness , 1990, J. Symb. Log..

[8]  Sebastiaan Terwijn,et al.  Lowness for The Class of Random Sets , 1999, J. Symb. Log..

[9]  Klaus Ambos-Spies,et al.  Randomness in Computability Theory , 2000 .

[10]  Randomness , 2001, ArXiv.

[11]  Sebastiaan Terwijn,et al.  Computational randomness and lowness* , 2001, Journal of Symbolic Logic.

[12]  Benjamín R. C. Bedregal,et al.  Lowness Properties of Reals and Hyper-Immunity , 2003, Electron. Notes Theor. Comput. Sci..

[13]  Yuval Gabay.  DOUBLE JUMP INVERSIONS AND STRONG MINIMAL COVERS IN THE TURING DEGREES , 2004 .

[14]  André Nies,et al.  Randomness, relativization and Turing degrees , 2005, J. Symb. Log..

[15]  A. Nies.  Lowness properties and randomness , 2005 .

[16]  Wolfgang Merkle,et al.  Kolmogorov Complexity and the Recursion Theorem , 2006, STACS.

[17]  Sh. T. Ishmukhanetov.  Weak recursive degrees and a problem of Spector , 2022 .