Relative Randomness and Cardinality
Barmpalias, George
Notre Dame J. Formal Logic, Tome 51 (2010) no. 1, p. 195-205 / Harvested from Project Euclid
A set $B\subseteq\mathbb{N}$ is called low for Martin-Löf random if every Martin-Löf random set is also Martin-Löf random relative to B. We show that a $\Delta^0_2$ set B is low for Martin-Löf random if and only if the class of oracles which compress less efficiently than B, namely, the class $\mathcal{C}^B=\{A\ |\ \forall n\ K^B(n)\leq^+ K^A(n)\}$ is countable (where K denotes the prefix-free complexity and $\leq^+$ denotes inequality modulo a constant. It follows that $\Delta^0_2$ is the largest arithmetical class with this property and if $\mathcal{C}^B$ is uncountable, it contains a perfect $\Pi^0_1$ set of reals. The proof introduces a new method for constructing nontrivial reals below a $\Delta^0_2$ set which is not low for Martin-Löf random.
Publié le : 2010-04-15
Classification:  randomness,  cardinality,  relative randomness,  03F60,  03D30
@article{1276284782,
     author = {Barmpalias, George},
     title = {Relative Randomness and Cardinality},
     journal = {Notre Dame J. Formal Logic},
     volume = {51},
     number = {1},
     year = {2010},
     pages = { 195-205},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1276284782}
}
Barmpalias, George. Relative Randomness and Cardinality. Notre Dame J. Formal Logic, Tome 51 (2010) no. 1, pp.  195-205. http://gdmltest.u-ga.fr/item/1276284782/