可测基数处的完全反射

正则不可数基数 $\kappa$ 的平稳子集 $S$ 若在正则基数处{\it 完全反射}，则对每个由正则基数组成的高阶平稳集 $T \subseteq \kappa$，存在 $\alpha \in T$ 使得 $S \cap \alpha$ 是 $\alpha$ 的平稳子集。{\it 完全反射}断言每个平稳集都在正则基数处完全反射。我们将证明，在比 $\kappa$ 具有 Mitchell 阶 $\kappa^{++}$ 稍弱的假设下，在每一个 $\lambda \leq \kappa$ 处完全反射成立且 $\kappa$ 是可测的，这是一致的。