English

On The Computability of Perfect Subsets of Sets with Positive Measure

Logic 2018-11-05 v2

Abstract

A set X2ω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.

Keywords

Cite

@article{arxiv.1808.06082,
  title  = {On The Computability of Perfect Subsets of Sets with Positive Measure},
  author = {Chitat Chong and Wei Li and Wei Wang and Yue Yang},
  journal= {arXiv preprint arXiv:1808.06082},
  year   = {2018}
}

Comments

9 pages