大家好,小隆来为大家解答以上的问题。力迫条件，关于力迫条件介绍这个很多人还不知道,现在让我们一起来看看吧！

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

2、 设〈P，<〉为用于力迫构造的偏序集，p，q∈P为两个力迫条件，若p

本文到此分享完毕，希望对大家有所帮助。