Doob-random Schnorr randomness does not imply e.c.u. randomness

Let ω2N×N\omega\in 2^{\mathbb{N}\times\mathbb{N}}. 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 ω\omega that is not e.c.u. random. This would strengthen the preceding fixed-ff 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

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.