报告题目：关于大无穷的新公理（New Axioms for Large Cardinals）

报 告 人：程勇博士（德国明斯特大学）

主 持 人：刘晓力教授（中国人民大学哲学院）

评 论 人：裘江杰博士（中国人民大学哲学院）

时         间：2015年3月19日（周四）18:30-20:00

地         点：中国人民大学人文楼五层会议室（电梯对面）

报 告 人：程勇，先后获得北京大学哲学系逻辑专业硕士学位、新加坡国立大学数学系数理逻辑方向博士学位。德国明斯特大学集合论方向博士后。兴趣和研究方向是数理逻辑和哲学逻辑。

报告摘要：Kurt G?del和Paul Cohen的工作证明了被称为希尔伯特第一问题的"连续统假设"是独立于ZFC的。为了判定数学中大量存在的独立于ZFC的数学命题，逻辑学家探索并发现了新的关于大无穷的新公理。其中两种强有力广泛应用的新公理是大基数公理和决定性公理。进一步人们发现了大基数公理和决定性公理间的紧密联系。建立这两种公理联系的第一个最著名的公理是Martin-Harrington公理。最后我将综述本人关于Martin-Harrington公理在高阶逻辑中的证明强度的研究工作。