Probability Measures and Effective Randomness
Logic
2007-07-11 v1
Abstract
We study the question, ``For which reals does there exist a measure such that is random relative to ?'' We show that for every nonrecursive , there is a measure which makes random without concentrating on . We give several conditions on equivalent to there being continuous measure which makes random. We show that for all but countably many reals these conditions apply, so there is a continuous measure which makes 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 's there is a continuous which makes random to that degree.
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