Dice Question Streamline Icon: https://streamlinehq.com

Awareness of computable presentations of Borel randomizations

Determine whether every computable presentation of the Borel randomization M^{[0,1)} is aware; that is, ascertain whether the subset of constant functions (identified with M) is always a computably enumerable closed set with respect to any computable presentation of M^{[0,1)}.

Information Square Streamline Icon: https://streamlinehq.com

Background

A presentation of M{[0,1)} is called aware if the embedded copy of M (as constant random variables) forms a computably enumerable closed subset relative to the presentation. The paper shows awareness for induced presentations coming from weakly computable presentations of M and gives characterizations connecting awareness with effective access to the constants.

The general status of awareness for arbitrary computable presentations of M{[0,1)} is unclear; the authors suspect a negative answer but lack a counterexample.

References

We suspect that the following question has a negative answer, but we have been unable to provide a counterexample: Are all computable presentations of \mbor aware?

Computable presentations of randomizations (2506.06187 - Ovalle et al., 6 Jun 2025) in Subsection “Presentations of randomizations,” Question (label awarequestion), after Proposition \ref{awarewlog}