Infinite subsets of random sets of integers (Q1012969)

The author proves that it is not the case that every infinite subset of every Martin-Löf random set of integers computes a Martin-Löf random set. First, he proves that each real of positive effective Hausdorff dimension computes an infinite subset of a Martin-Löf random set of integers. This result is applied to a real constructed by \textit{J. S. Miller} [``Extracting information is hard: a Turing degree of non-integral effective Hausdorff dimension'', Adv. Math. (to appear)], which has effective Hausdorff dimension \(1/2\) and does not compute any Martin-Löf random real. This work is motivated by questions related to the strength of SRT (stable Ramsey's theorem for pairs) and WWKL (weak weak König's lemma).