On the computability of perfect subsets of sets with positive measure
C. Chong, Wei Li, Wei Wang, Yue Yang · Proceedings of the American Mathematical Society · 2019
A set X ⊆ 2 ω X \subseteq 2^\omega with positive measure contains a perfect subset. We study such perfect subsets from the viewpoint of computability and prove that these sets can have weak computational strength. Then we connect the existence of perfect subsets of sets with positive measure with reverse mathematics.