Scifaro

中文

关于具有正测度集合的完美子集的可计算性

逻辑 2018-11-05 v2

作者: Chitat Chong , Wei Li , Wei Wang , Yue Yang

在 arXiv 上查看 ↗ PDF ↗

摘要

具有正测度的集合 $X \subseteq 2^\omega$ 包含一个完美子集。我们从可计算性的角度研究此类完美子集，并证明这些集合可以具有弱计算强度。然后我们将具有正测度的集合的完美子集之存在性与逆数学联系起来。

关键词

完美子集正测度可计算性逆数学康托尔空间

引用

@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}
}

备注

9 pages