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

力迫法　　公理集合论研究中构造扩充模型的一种重要方法。它从一种可数模型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)等人又把这一方法和布尔值模型方法相结合,获得力迫法的较为方便的变形。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	五常是什么意思五年生存率是什么意思五度制标调法是什么意思五弦是什么意思五当召是什么意思五彩是什么意思五彩八仙纹碗是什么意思五律是什么意思五御是什么意思五德是什么意思五德终始是什么意思五德终始说是什么意思五德转移是什么意思五性是什么意思五情是什么意思五戎是什么意思五戒是什么意思五房贝是什么意思五所平之助是什么意思五才是什么意思五指是什么意思五指山是什么意思五排山城址是什么意思五攒痛是什么意思五支作法是什么意思 взметнуть 的意思 взметнуться的意思 взметнуться 的意思 взмокать的意思 взмокать 的意思 взмокнуть的意思 взмокнуть 的意思 взмолиться的意思 взмолиться 的意思 взморниковые的意思 set function set ... going set great store by something trout troutless troutlet troutling trouts trouty trouvaille