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

力迫法　　公理集合论研究中构造扩充模型的一种重要方法。它从一种可数模型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)等人又把这一方法和布尔值模型方法相结合,获得力迫法的较为方便的变形。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	罗马历是什么意思罗马(古代)是什么意思罗马古城遗址是什么意思罗马史是什么意思罗马同盟者是什么意思罗马国家博物馆是什么意思罗马国立博物馆是什么意思罗马圣母大堂是什么意思罗马地下墓窟是什么意思罗马大学是什么意思罗马大角斗场是什么意思罗马奥林匹克体育场是什么意思罗马字母是什么意思罗马尼亚是什么意思罗马尼亚一八四八年革命是什么意思罗马尼亚人是什么意思罗马尼亚八月起义是什么意思罗马尼亚共产党是什么意思罗马尼亚剧院是什么意思罗马尼亚十二月事件是什么意思罗马尼亚救国阵线是什么意思罗马尼亚正教会是什么意思罗马尼亚艺术博物馆是什么意思罗马尼亚语是什么意思罗马帝国是什么意思 изоамилацетат 的意思 изоамплитуда的意思 изоамплитуда 的意思 изоанемона的意思 изоанемона 的意思 изоаномала的意思 изоаномала 的意思 изоаномалия 的意思 изоаномалия的意思 изобаза 的意思鱼鳔鱼鳞鱼鳞癣鱼鸟鱼鼓鱿鲁鲁莽鲁莽无礼的人鲁钝