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

力迫法　　公理集合论研究中构造扩充模型的一种重要方法。它从一种可数模型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)等人又把这一方法和布尔值模型方法相结合,获得力迫法的较为方便的变形。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	兰屿是什么意思兰屿壁虎是什么意思兰州是什么意思兰州伊斯兰教经学院是什么意思兰州大学是什么意思兰州府是什么意思兰州战役是什么意思兰州机器织呢局是什么意思兰州纪略是什么意思兰州织呢局是什么意思兰州西关清真寺是什么意思兰州黄河公路铁桥是什么意思兰州黄河大桥是什么意思兰州黄河铁桥档案是什么意思兰州鼓子是什么意思兰巴建纳王朝是什么意思兰干是什么意思兰开夏是什么意思兰开斯特是什么意思兰开斯特王朝是什么意思兰弗兰克是什么意思兰德是什么意思兰德公司是什么意思兰德尔是什么意思兰德斯拉是什么意思 разбрызгивание的意思 разбрызгивание 的意思 разбрызгиватель 的意思 разбрызгиватель的意思 разбрызгивать的意思 разбрызгивать 的意思 разбрызгиваться的意思 разбрызгиваться 的意思 разбрюзжаться 的意思 разбрюзжаться的意思 cryoscope cryoscopic cryoscopy cryostat cryosurgery cryotherapy cry out cry out against cry out for ... cry over ...