Abstract
The tree forcing method of Liu enables the cone avoiding of bounded enumeration of a given tree, within subsets or co-subsets of an arbitrary given set, provided the given tree does not admit computable bounded enumeration. Using this result, he settled and reproduced a series of problems and results in reverse mathematics and the theory of algorithmic randomness, including showing that every 1-random set has an infinite subset or co-subset which computes no 1-random set. In this paper, we show that for any given 1-random set A, there exists an infinite subset G of A such that G does not compute any set with positive effective Hausdorff dimension. In particular, we answer in the affirmative Kjos-Hanssen’s 2006 question whether each 1-random set has an infinite subset which computes no 1-random set. The result is surprising in that the tree forcing technique seems to heavily rely on subset co-subset combinatorics, whereas this result does not.
Similar content being viewed by others
Notes
Strictly speaking we have not defined “part i”. We could also say: \(d'\) f-refines d.
Note that after some extension of the initial segments of the other parts, an originally acceptable part may become unacceptable. So it is not necessary that all acceptable parts of c are extended.
“The set of parts of d that do not force” is shorthand for “the set of all i such that part i of d does not force”.
In Definition 4.1, a k-partition of \(N=\{0,\dots ,N-1\}\) is a partition of N into k equivalence classes or blocks. It may be easier to consider the negation: a collection of sets is not k-dispersed iff it can be partitioned into k subcollections, each having nonempty intersection.
References
Ambos-Spies, K., Kjos-Hanssen, B., Lempp, S., Slaman, T.A.: Comparing DNR and WWKL. J. Symbolic Logic 69(4), 1089–1104 (2004)
Beigel, R., Buhrman, H., Fejer, P., Fortnow, L., Grabowski, P., Longpre, L., Muchnik, A., Stephan, F., Torenvliet, L.: Enumerations of the Kolmogorov function. J. Symbolic Logic 71(2), 501–528 (2006)
Chong, C.T., Slaman, Th.A., Yang, Y.: The metamathematics of stable Ramsey’s theorem for pairs. J. Amer. Math. Soc. 27(3), 863–892 (2014)
Freer, C.E., Kjos-Hanssen, B.: Randomness extraction and asymptotic Hamming distance. Log. Methods Comput. Sci. 9(3), 3:27 (2013)
Kjos-Hanssen, B.: Infinite subsets of random sets of integers. Math. Res. Lett. 16(1), 103–110 (2009)
Kjos-Hanssen, B.: A strong law of computationally weak subsets. J. Math. Log. 11(1), 1–10 (2011)
Lerman, M., Solomon, R., Towsner, H.: Separating principles below Ramsey’s theorem for pairs. J. Math. Log. 13(2), 1350007 (2013)
Liu, J.: RT\(^2_2\) does not imply WKL\(_0\). J. Symbolic Logic 77(2), 609–620 (2012)
Liu, L.: Cone avoiding closed sets. Trans. Amer. Math. Soc. 367(3), 1609–1630 (2015)
Miller, J.S.: Extracting information is hard: a Turing degree of non-integral effective Hausdorff dimension. Adv. Math. 226(1), 373–384 (2011)
Patey, L.: Iterative forcing and hyperimmunity in reverse mathematics. Computability 6(3), 209–221 (2017)
Wang, W.: The definability strength of combinatorial principles. J. Symbolic Logic 81(4), 1531–1554 (2016)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work was partially supported by a Grant from the Simons Foundation (# 315188 to Bjørn Kjos-Hanssen). Lu Liu is partially supported by the Natural Science Foundation of Hunan Province of China 2018JJ3623.
Rights and permissions
About this article
Cite this article
Kjos-Hanssen, B., Liu, L. Extracting randomness within a subset is hard. European Journal of Mathematics 6, 1438–1451 (2020). https://doi.org/10.1007/s40879-019-00361-4
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40879-019-00361-4