中科院数学与系统科学研究院
数学研究所
集合论研讨班报告
报告人: 喻 良 教授 (南京大学)
题 目: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.