text: 迭代力迫法
  迭代力迫法(method of iterated forcing)是力迫法的一种推广，是重复进行力迫构造过程，以获得具有某种特定性质的兼纳模型的方法。
  设M为ZF(C)系统的模型，对M重复进行a次兼纳扩充过程，得到一列模型:M=MocM,c...}风} ... c Ma使得Mr+ } _从CG}],G:为峡上某个偏序集P、的兼纳集.上列过程称为a次迭代力迫.当a=2时，称之为两步迭代力迫，当a为极限序数时，称之为极限迭代力迫.对两步迭代力迫，最自然的方法是，首先通过基模型M中的一个力迫概念尸。及尸。的一个兼纳子集G，获得兼纳扩充Mi = Mo CGo ]，再选择MCGo]上的力迫概念P，及P}的一个兼纳子集G‑以获得兼纳扩充姚=M}CGo]=Mo仁Go]仁G,]，且使M:具有所需的力迫性质.有限次迭代力迫过程也可仿此方法进行.然而这种方法不能推广到极限迭代的情形，因为当a为极限序数时，例如a=。时，Ma很难给出.如果取
  
  则Ma一般不具有兼纳模型的性质，例如{Gp月<a}一般不属于Ma.一般的迭代力迫法是在基模型M中寻找一列偏序集{Q}:}Ga}，使p}=62o WQ, W ...} ,Q}} .... c}.62e，式中二。表示两个偏序集的完备嵌人，则对每个Q。的兼纳子集G。存在一列兼纳集(G}:}<a)，使G}为Q:的兼纳子集，且
  
  这就是通过构造偏序集的完备嵌人序列实现迭代力迫过程.迭代力迫法最初由以色列学者索洛韦(Solovay,R. M.)与特纳鲍姆(Tennenbaum, S.)于1971年在证明MA+} CH与Suslin假设的相容性时所发明，现在已成为一种强有力的相容性与独立性证明方法.