中科院数学与系统科学研究院

数学研究所

集合论研讨班报告

 

报告人喻 良 教授 南京大学

  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.

附件
相关文档