由有限多个共尾性量词构造的内模型理论的绝对性

我们证明，使用有限多个共尾性量词构造的模型——对正则基数 $\lambda_{1},...,\lambda_{n}$ 的 $C_{\lambda_{1},...,\lambda_{n}}^{*}$ 与 $C_{<\lambda_{1},...,<\lambda_{n}}^{*}$——的理论在类多 Woodin 基数假设下是集合力迫绝对的，且独立于所用正则基数。为此目标，我们证明了由限制于 $<\mu$-闭集的平稳塔所诱导的泛型嵌入的若干性质。