English

Probability Measures and Effective Randomness

Logic 2007-07-11 v1

Abstract

We study the question, ``For which reals xx does there exist a measure μ\mu such that xx is random relative to μ\mu?'' We show that for every nonrecursive xx, there is a measure which makes xx random without concentrating on xx. We give several conditions on xx equivalent to there being continuous measure which makes xx random. We show that for all but countably many reals xx these conditions apply, so there is a continuous measure which makes xx random. There is a meta-mathematical aspect of this investigation. As one requires higher arithmetic levels in the degree of randomness, one must make use of more iterates of the power set of the continuum to show that for all but countably many xx's there is a continuous μ\mu which makes xx random to that degree.

Keywords

Cite

@article{arxiv.0707.1390,
  title  = {Probability Measures and Effective Randomness},
  author = {Jan Reimann and Theodore Slaman},
  journal= {arXiv preprint arXiv:0707.1390},
  year   = {2007}
}

Comments

9 pages

R2 v1 2026-06-21T08:56:43.911Z