力迫法试题及答案.docxVIP

力迫法试题及答案

一、单项选择题（共10题，每题1分，共10分）

力迫法（Forcing）是由哪位数学家于20世纪60年代独立提出的，用于证明集合论命题相对于ZFC系统的独立性？

A.库尔特·哥德尔

B.保罗·科恩

C.格奥尔格·康托尔

D.约翰·冯·诺依曼

答案：B

解析：力迫法是由美国数学家保罗·科恩于20世纪60年代独立发明的，他运用这一方法证明了连续统假设相对于ZFC集合论公理系统的独立性，这是集合论发展史上的一个里程碑。选项A的哥德尔以不完全性定理闻名，选项C的康托尔是集合论的创始人，选项D的冯·诺依曼是计算机科学和博弈论的奠基人之一。

在力迫法中，用于“生成”新集合或扩张模型的核心概念是？

A.超滤

B.偏序集

C.超穷归纳法

D.良序定理

答案：B

解析：力迫法的核心是构造一个偏序集（或称为力迫概念），其中的元素称为力迫条件，它们以某种偏序关系进行比较。通过引入一个“脱殊滤子”（或称为脱殊集合），我们可以将原模型扩张为一个新模型，从而控制新模型中哪些命题成立。选项A的超滤在模型论中有应用，但不是力迫法的核心；选项C和D是集合论中的经典方法，但不特指力迫法。

在力迫扩张M[G]中，G是原可数传递模型M上的一个脱殊滤子。以下关于G的性质，哪一项是正确的？

A.G是M的元素。

B.G与M的交集是空集。

C.G是M上的一个超滤。

D.G是M可定义的。