Selected Notes in Chinese

描述集合论 (Descriptive Set Theory)

• 解析集的正则形式与Mostowski绝对性定理 (Normal forms for analytic sets and Mostowski absoluteness theorem)
• Baire space上闭集的树形式, 以及Gale-Stewart定理的证明 (Closed sets on Baire space as trees, and a proof of the Gale-Stewart theorem)
• The Baire space (Logician’s reals)上的拓扑 (Topology on the Baire space, i.e. the Logician’s reals)
• 一些关于选择公理和广义连续统假设的保守性定理 (Conservativity results for AC and GCH)
• 存在非Borel的解析集: Suslin是如何给Lebesgue纠错的 (How Suslin corrected Lebesgue’s mistake)

集合论/一般数学 (Set Theory/General Mathematics)

• Vitali是如何想到不可测集的 (How did Vitali come up with his non-measurable set?)
• 将实数拆分使得份数比实数多 (A partition of the reals into more parts than the reals)
• Wadge博弈的诞生与应用 (Invention of Wadge games and their applications)
• 蕴涵不可测集存在的命题 (Statements implying the existence of non-measurable sets)
• Exacting Cardinals对HOD猜想的影响 (Implications of the exacting cardinals on the HOD conjecture)

历史 (History)

• 第一纲集和第二纲集的来源 (Origins of first and second category sets)
• 连续性定义的发展 (Evolution of the definition of continuity)
• 以开集定义拓扑的历史 (Emergence of using open sets in the definition of topology)
• 冯诺依曼对不完备定理的反应 (Von Neumann’s reaction to the incompleteness theorems)

哲学 (Philosophy)

• 哥德尔定理对柏拉图主义的影响 (Gödel’s theorems and their impact on Platonism)
• 如何理解数学对象的存在 (How to understand the existence of mathematical objects)
• 集合论的奠基功能 (Foundational roles played by set theory)
• 为何相信ZFC是一致的 (Why believe in the consistency of ZFC?)
• 如何理解独立性 (What to make of independence results)

教学与科普 (Teaching Materials/For General Public)

• 秩序与混沌：集合论的世纪斗争 part 1, part 2 (Order and Chaos: The Centennial Struggle of Set Theory)
• Magidor的超紧致基数定义，脱殊超幂(Magidor Characterization of Supercompactness, and Generic Ultrapowers)
• 什么是描述集合论 (What is Descriptive Set Theory?)
• 无穷与悖论：数学与语言的边界（科普幻灯片）