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

DOI10.1016/J.APAL.2023.103358MaRDI QIDQ6050169zbMATH OpenOpenAlexFDO

Publication date 12 October 2023

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2112.01074

cofinality logic generic absoluteness inner models stationary tower Woodin cardinal

Inner models, including constructibility, ordinal definability, and core models (03E45) Other notions of set-theoretic definability (03E47) Large cardinals (03E55) Generic absoluteness and forcing axioms (03E57)

Abstract: We prove that the theory of the models constructible using finitely many cofinality quantifiers -

C_{l a m b d a_{1}, ..., l a m b d a_{n}}^{*}

and

C_{< l a m b d a_{1}, ..., < l a m b d a_{n}}^{*}

for

l a m b d a_{1}, ..., l a m b d a_{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

< m u

-closed sets.

Cites work

This page was built for publication: Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6050169)