格雷戈里·摩尔。 强迫的起源。 （英语） Zbl 0655.03034号 逻辑配置'86，Proc。Colloq.，Hull/U.K.1986，《发现逻辑研究》。数学。124, 143-173 (1988). [关于整个系列，请参见Zbl 0623.00002.]本文是对科恩强迫方法的起源和早期发展的历史叙述。主要事件和发现按时间顺序排列，从1908年Zermelo的集合理论公理化开始，一直到20世纪70年代初Schoenfield对强迫的处理。我特别喜欢阅读《哥德尔和科恩之前》一节，尤其是关于斯科勒姆的深刻见解。下一节讨论哥德尔对可构造集合的发现，以及他对（广义）连续统假设和选择公理一致性的证明。下一节的标题是“哥德尔：独立证明”。“哥德尔非常认真地为AC和CH寻求独立性证明”，“他（哥德尔）担心他的独立性证明会把集合理论引向错误的方向”。“哥德尔和科恩之间”一节重点介绍了模型理论的一些结果以及使用这一时期内部模型的相对一致性。本文的其余部分主要集中于科恩和索洛维。它详细介绍了科恩的发现过程，并追踪了强迫方法在整个社区的各种研讨会上的传播。此外，还对许多早期更重要的独立性结果（例如确定连续体的确切大小、基数的崩溃以及使所有集合都可测量）进行了历史描述。审核人：A.陶氏 引用于三文件 MSC公司： 03E35号 一致性和独立性结果 03-03 数学逻辑和基础的历史 关键词：科恩强迫方法的起源和早期发展；哥德尔；索罗维 引文：Zbl 0623.00002 PDF格式BibTeX公司 XML格式