题   目：Halpern-Lauchli 定理的两个证明

主讲人：杨跃 新加坡国立大学数学系 教授

主持人：王玮 白洁  教授

时   间：11月25日（周二）下午15：00

地   点：锡昌堂322室

主办方：白洁 逻辑与认知研究所

主讲人简介 

杨跃，新加坡国立大学数学系教授。研究领域为数理逻辑，特别是可计算性理论和反推数学。曾与合作者在Journal of American Mathematical Society, Advances in Mathematics, Transactions of American Mathematical Society, Journal of Symbolic Logic等国际顶尖学术期刊上发表多篇论文，同时也是Journal of Mathematical Logic编委之一。

讲座摘要 

我将给出 Halpern-Lauchli 定理 (HL) 的两种证明。一种是初等证明，可以在和归纳法框架内完成。这种初等证明是我与庄志达和李玮合作开展的一个正在进行的项目的一部分，旨在探究 HL 的证明论强度。另一种证明是力迫证明，基于 Dobrinen 的表达。该证明非常复杂，与初等证明形成鲜明对比。