RECOGNIZING STRONG RANDOM REALS
Daniel N. Osherson, Scott Weinstein · The Review of Symbolic Logic · 2008
The class of strong random reals can be defined via a natural conception of effective null set. We show that the same class is also characterized by a learning-theoretic criterion of ‘recognizability’.