兼纳模型定理

兼纳模型定理(generic model theorem)是关于力迫法的重要命题，该命题为证明集合论外加公理的相容性与独立性提供了一个统计—模式。兼纳模型定理(generic model theorem)关于力迫法的重要命题.它给出了兼纳扩充的存在性条件.设M为ZF<C)系统的可传模型，(P，镇)为M中的偏序集(参见“力迫概念”>，GcP为M上的尸兼纳集，则存在一个可传模型M，使: