论由强基数强迫射影泛型绝对性

W.H. Woodin 证明了若 $\kappa_1 < \cdots < \kappa_n$ 为强基数，则在将 $2^{2^{\kappa_n}}$ 坍缩为可数后，两步 ${\bf\Sigma}^1_{n+3}$ 泛型绝对性成立。我们证明该数可减至 $2^{\kappa_n}$，且在 $n = 1$ 的情形下可减至 $\kappa_n^+$，但无法进一步减至 $\kappa_n$。