Some consequences of $\mathrm{TD}$ and $\mathrm{sTD}$

Yinhe Peng, Liuzhen Wu, Liang Yu

Strongly Turing determinacy, or $\mathrm{sTD}$, says that for any set $A$ of reals, if $\forall x\exists y{\ge }_{T}x(y\in A)$, then there is a pointed set $P\subseteq A$. We prove t…