English

Numberings and randomness

Logic 2014-08-12 v1

Abstract

We prove various results on effective numberings and Friedberg numberings of families related to algorithmic randomness. The family of all Martin-L\"of random left-computably enumerable reals has a Friedberg numbering, as does the family of all Π10\Pi^0_1 classes of positive measure. On the other hand, the Π10\Pi^0_1 classes contained in the Martin-L\"of random reals do not even have an effective numbering, nor do the left-c.e. reals satisfying a fixed randomness constant. For Π10\Pi^0_1 classes contained in the class of reals satisfying a fixed randomness constant, we prove that at least an effective numbering exists.

Cite

@article{arxiv.1408.2169,
  title  = {Numberings and randomness},
  author = {Katie Brodhead and Bjørn Kjos-Hanssen},
  journal= {arXiv preprint arXiv:1408.2169},
  year   = {2014}
}

Comments

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-03073-4_6

R2 v1 2026-06-22T05:24:09.089Z