On the construction of effectively random sets
Merkle, Wolfgang ; Mihailović, Nenad
J. Symbolic Logic, Tome 69 (2004) no. 1, p. 862-878 / Harvested from Project Euclid
We present a comparatively simple way to construct Martin-Löf random and rec-random sets with certain additional properties, which works by diagonalizing against appropriate martingales. Reviewing the result of Gács and Kučera, for any given set X we construct a Martin-Löf random set from which X can be decoded effectively. By a variant of the basic construction we obtain a rec-random set that is weak truth-table autoreducible and we observe that there are Martin-Löf random sets that are computably enumerable self-reducible. The two latter results complement the known facts that no rec-random set is truth-table autoreducible and that no Martin-Löf random set is Turing-autoreducible [ebert-merkle-vollmer-2002,trakhtenbrot-1970].
Publié le : 2004-09-14
Classification: 
@article{1096901772,
     author = {Merkle, Wolfgang and Mihailovi\'c, Nenad},
     title = {On the construction of effectively random sets},
     journal = {J. Symbolic Logic},
     volume = {69},
     number = {1},
     year = {2004},
     pages = { 862-878},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1096901772}
}
Merkle, Wolfgang; Mihailović, Nenad. On the construction of effectively random sets. J. Symbolic Logic, Tome 69 (2004) no. 1, pp.  862-878. http://gdmltest.u-ga.fr/item/1096901772/