Ebook: 集合论导引: 卷二：集论模型

本卷是集合论的模型分析部分。在第一卷的基础上，本卷的主要任务是将逻辑植入集合论之中，并以此为基础实现三大目标：第一大目标是将同质子模型分析引入集合论，这是一种不同于组合分析的对无穷集合展开分析的基本方法；第二大目标则是建立集合论论域的具有典范作用的内模型——哥德尔可构造集论域，从而证明一般连续统假设和选择公理的相对相容性；第三大目标是建立集合论论域的具有典范意义的外模型——科恩的力迫扩张模型，从而证明连续统假设以及选择公理的相对独立性。这三大目标分为三章分别来实现。在一定意义上讲，每一章体现一种基本方法。这些基本方法是从事集合论研究的最基本的方法。