修正支撑迭代与 CH

Shelah 证明了某些修正可数支撑（RCS）迭代不添加实数。他的动机是建立以下问题的独立性（相对于大基数）：Avraham 关于是否存在不可数非可构造序列且其所有真初始段均可构造的问题，Friedman 关于 $S^2_0=\{\alpha<\omega_2\colon\cf(\alpha)=\omega\}$ 的每一个 2-染色是否具有不可数顺序闭齐次子集的问题，以及在 $\omega_2$ 上存在满足 $S^2_0\in{\cal F}$ 的陡峭正规滤子的问题。Shelah 在这些构造中使用的偏序集是 Prikry 力迫、Namba 力迫，以及由 $S^*$ 的闭可数子集在逆端扩张下构成的力迫，其中 $S^*$ 是 $S^2_0$ 的一个固定的平稳余平稳子集。Shelah 对这三个偏序集分别建立了不同的保持定理（关于 Namba 力迫的定理尤其复杂）。我们对 RCS 迭代的一个变体建立了一个一般的保持定理，它以直接的方式包含了所有这三个偏序集。