力迫条件的词语属性

力迫条件的词语解释

力迫条件[ lì pò tiáo jiàn ][ ㄌㄧˋ ㄆㄛˋ ㄊㄧㄠˊ ㄐㄧㄢˋ ]

力迫条件(forcing condition)是公理集合论术语，指用于力迫构造的偏序集的元素。美国数学家科恩(P.J.Cohen)对力迫条件的原始定义形为n∈a或n∉a的有限协调公式集，这里a代表用于兼纳扩充的兼纳集(或代表兼纳集的名)，n为自然数。因此，每个力迫条件就给出了兼纳集元素构成的一个局部情况，由于兼纳扩充模型M[G]由兼纳集G所决定，因此，一定的力迫条件可以确定出兼纳模型中具有或者不具有某种性质，一列适当的力迫条件无穷序列可以确定出兼纳扩充M[G]中的所有性质，这种力迫条件序列称为完备力迫条件序列。现代力迫法对力迫条件的定义由科恩的原始定义抽象与简化而得。设〈P，<〉为用于力...