Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers

Abstract

We prove that the theory of the models constructible using finitely many cofinality quantifiers – Cλ1,…,λn⁎ and C<λ1,…,<λn⁎ for λ1,…,λn regular cardinals – is set-forcing absolute under the assumption of class many Woodin cardinals, and is independent of the regular cardinals used. Towards this goal we prove some properties of the generic embedding induced from the stationary tower restricted to <μ-closed sets.