內容簡介
本卷是集合論的模型分析部分。在卷的基礎上,本卷的主要任務是將邏輯植入集合論之中,並以此為基礎實現三大目標:大目標是將同質子模型分析引入集合論,這是一種不同於組合分析的對無窮集合展開分析的基本方法;第二大目標則是建立集合論論域的具有典範作用的內模型——哥德爾可構造集論域,從而證明一般連續統假設和選擇公理的相對相容性;第三大目標是建立集合論論域的具有典範意義的外模型——科恩的力迫擴張模型,從而證明連續統假設以及選擇公理的相對獨立性。這三大目標分為三章分別來實現。在一定意義上講,每一章體現一種基本方法。這些基本方法是從事集合論研究的基本的方法。