Some consequences of $\mathrm{TD}$ and $\mathrm{sTD}$
Logic
2021-08-18 v2
Abstract
Strongly Turing determinacy, or , says that for any set of reals, if , then there is a pointed set . We prove the following consequences of Turing determinacy () and : (1). implies weakly dependent choice (). (2). implies that every set of reals is measurable and has Baire property. (3). implies that every uncountable set of reals has a perfect subset. (4). implies that for any set of reals and any , (a) there is a closed set so that . (b) there is a closed set so that .
Keywords
Cite
@article{arxiv.2107.10470,
title = {Some consequences of $\mathrm{TD}$ and $\mathrm{sTD}$},
author = {Yinhe Peng and Liuzhen Wu and Liang Yu},
journal= {arXiv preprint arXiv:2107.10470},
year = {2021}
}
Comments
Better version