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)}.
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}