兼纳模型定理

（数学术语）
兼纳模型定理(generic model theorem)是关于力迫法的重要命题，该命题为证明集合论外加公理的相容性与独立性提供了一个统计—模式。兼纳模型定理(generic model theorem)关于力迫法的重要命题.它给出了兼纳扩充的存在性条件.设M为ZF<C)系统的可传模型，(P，镇)为M中的偏序集(参见“力迫概念”>，GcP为M上的尸兼纳集，则存在一个可传模型M，使:
用户数据
参数表
继承树
构成树
关注人数：
0
技点进度：
0/0
题库进度：
0/0
技能进度：
0/
关注级别：