Doob-random Schnorr randomness does not imply e.c.u. randomness
Doob-random Schnorr randomness does not imply e.c.u. randomness
Let . A real is Doob random if it satisfies the paper's characterization in terms of computable martingales, and it is e.c.u. random if it satisfies the corresponding effective conditional-uniform randomness property. The conjecture. There is a Doob random, Schnorr random that is not e.c.u. random. This would strengthen the preceding fixed- result and complete the comparison between Doob randomness, Schnorr randomness, and e.c.u. randomness; the source does not provide a resolution.
Sources & referencesView supporting material
Primary source
Bjørn Kjos-Hanssen, Paul Kim Long V. Nguyen and Jason Rute, “Algorithmic randomness for Doob's martingale convergence theorem in continuous time”, arXiv:1411.0186 (2014).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.