论文标题
TD意味着CCR
TD implies CCR
论文作者
论文摘要
假设$ \ mathrm {zf} $，我们证明图灵的确定性（$ \ mathrm {td} $）意味着可计数的选择公理（$ \ mathrm {ccr} $）。
Assuming $\mathrm{ZF}$, we prove that Turing determinacy ($\mathrm{TD}$) implies countable choice axiom for sets of reals ($\mathrm{CCR}$).
