Title：康托定理在ZF中的推广

Speaker：Guozhen Shen (Wuhan University)

Time: 2024/05/16 15:00-18:00

Location: Room B112, Lee Shau Kee Humanities Buildings No.2 (李兆基人文学苑2号楼), Peking University

Abstract：

　　1873年，康托证明了自然数集与实数集之间不存在双射。1891年，康托证明了一个更一般的定理：任何集合与它的幂集之间都不存在双射。我们考察历史上对康托定理在没有选择公理的集合论中的推广，重点介绍最近本人与彭银河、吴刘臻合作的工作。