Time: 2024/02/27 15:10-18:00

Location: Room 313, Teaching Building No.2 (第二教学楼), Peking University

Speaker 1: Linfeng Wang

Title: A slight modification of Quine's New Foundations

Abstract: Quine的NF是另一种公理化的集合论系统，它与ZF有很大的不同。虽然NF早在1937年就被提出了，但是NF的一致性一直是一个开问题。不过如果我们稍微更改NF的公理，让NF允许无素（urelements）的存在，这样得到的系统NFU则被Jensen证明是一致的，本次报告主要就是介绍NFU的一致性证明。

Speaker 2: Yipu Li

Title: 带量词的命题模态逻辑的完全性

Abstract: 我们用典范模型的方法证明了带量词的命题模态逻辑在克里普克框架和泛框架上的一系列完全性结果。