中科院数学与系统科学研究院
数学研究所
集合论研讨班报告
报告人： 喻 良 教授 （南京大学）
题 目：TD vs CC(R)
时 间：2020.11.10（星期二）, 14:00-16:00
地 点：晨兴110室
摘 要：It is a standing question whether, over ZF, Turing determinacy (TD) implies countable choice for reals (CC(R)). We shall report some progress on this question.