论文信息 - Lowness and Π 0 2 Nullsets

Lowness and Π 0 2 Nullsets

We prove that there exists a noncomputable c.e. real which is low for weak 2-randomness, a definition of randomness due to Kurtz, and that all reals which are low for weak 2-randomness are low for Martin-Löf randomness.

A. Nies | Rebecca Weber | Y. Liang

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

[2] Marc Snir,et al. Probabilities over rich languages, testing and randomness , 1982, Journal of Symbolic Logic.

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

[4] Steven M. Kautz. Degrees of random sets , 1991 .

[5] ComplexityValentine KabanetsDecember. Randomness and Complexity , 1997 .

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

[7] Low for random sets : the story , 2003 .

[8] Stephanie Reid,et al. On Kurtz randomness , 2004, Theor. Comput. Sci..

[9] André Nies,et al. Non-cupping and randomness , 2007 .

[10] André Nies,et al. Lowness properties and approximations of the jump , 2008, Ann. Pure Appl. Log..