2 problems
- 0 votes0 replies0 views
Equivalence of Melnikov–Nies K-triviality and lowness for randomness
Equivalence conjecture. The definition of K-triviality due to Melnikov and Nies for computable Polish spaces is equivalent to being low for -randomness on every…
- 0 votes0 replies0 views
Extension of computable-randomness characterizations to computable Polish spaces
Extension conjecture. The other known characterizations of computable randomness should extend to arbitrary computable Polish spaces using the techniques described in the source.