Enumerating randoms

We investigate enumerability properties for classes of random reals which permit recursive approximations from below, or left-r.e. reals. In addition to pinpointing the complexity of left-r.e. Martin-L

• Type: Journal
• Year: 2010
• Where: CORR
• Authors: Bjørn Kjos-Hanssen, Frank Stephan, Jason Teutsch
• Keywords: CORR 2010, Education, Random Reals, Randoms, Reals