报告人: 王林峰 （北京大学哲学系）

题目：Boolean-valued models of set theory

时间：2023/04/04 15:10-18:00

地点：二教 501

摘要：

连续统假设是集合论中著名的独立性结果,在本次报告中我将用布尔值模型的方法证明连续统假设是独立于ZFC的,并说明布尔值模型与forcing之间的关系。