“力迫法”的意思、用法、组词造句及英语翻译-汉语字词典-修远网

力迫法　　公理集合论研究中构造扩充模型的一种重要方法。它从一种可数模型M(一般是可构成模型)和相应的形式语言L出发,使用附加于L的一组形式符号作为待定的ω的子集合簇G,这就获得L的一扩充语言L *,从而利用在M中建立的力迫关系确定非特殊的集合或集合簇G。然后从G出发,使用M的构造过程中确定的运算和相应的迭代过程,获得模型M(G)。科恩(PaulJosephCohen,1934—2007)运用力迫法构造了有关的模型,证明了选择公理和连续统假设相对于ZF系统的独立性。接着人们运用力迫法证明了一大批重要的数学命题的协调性和独立性问题。1965年沙拉维(RobertM.Solovay),斯考特(DanaScott)等人又把这一方法和布尔值模型方法相结合,获得力迫法的较为方便的变形。

出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础

字词	力迫法
释义	力迫法数理化力学卷力迫法　　公理集合论研究中构造扩充模型的一种重要方法。它从一种可数模型M(一般是可构成模型)和相应的形式语言L出发,使用附加于L的一组形式符号作为待定的ω的子集合簇G,这就获得L的一扩充语言L *,从而利用在M中建立的力迫关系确定非特殊的集合或集合簇G。然后从G出发,使用M的构造过程中确定的运算和相应的迭代过程,获得模型M(G)。科恩(PaulJosephCohen,1934—2007)运用力迫法构造了有关的模型,证明了选择公理和连续统假设相对于ZF系统的独立性。接着人们运用力迫法证明了一大批重要的数学命题的协调性和独立性问题。1965年沙拉维(RobertM.Solovay),斯考特(DanaScott)等人又把这一方法和布尔值模型方法相结合,获得力迫法的较为方便的变形。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	转折点是什么意思转折端是什么意思转折连词是什么意思转报是什么意思转指是什么意思转换是什么意思转换变量是什么意思转换因子是什么意思转换开关是什么意思转换性障碍是什么意思转换成本是什么意思转换提单是什么意思转换断层是什么意思转换期权是什么意思转换比是什么意思转换温度是什么意思转换生成语法是什么意思转换生成语法学是什么意思转换生成语言学是什么意思转换要约是什么意思转换语法是什么意思转换风险是什么意思转易是什么意思转机是什么意思转杯纺纱是什么意思 серёдка 的意思 серёжка 的意思 серёжка的意思 сесбания 的意思 сесбания的意思 сесквитерпен的意思 сесквитерпен 的意思 сессионизм 的意思 сессионизм的意思 сессионный 的意思 next to ... next to none next to nothing next to the lowest next week next world nexus Nez Perce N.F. NF