《集合论和连续统假设》 Set Theory and the Continuum Hypothesis 美国逻辑学家柯亨(P.J.Cohen, 1934— )著。1966年发表。全书共4章。以1965年春在哈佛大学授课的讲稿为基础写成,主要目的是给出连续统假设独立性的证明。为了使著作尽可能保持自足,该书包括了逻辑学和公理集合等基础材料。介绍了一阶逻辑、公理集合论等理论,详细说明了哥德尔的证明方法,然后给出了连续统假设和选择公理独立性的完整证明。该书还阐述了由作者首先提出的完成证明关键的力迫方法。人们发展并运用这一方法证明了一大批定理。 |