Inner Models from Extended Logics: Part 2

MaRDI QIDQ6504019arXivFDO

Authors Juliette Kennedy, Menachem Magidor, Jouko Väänänen

Published in arXiv

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45)

Abstract: We introduce a new inner model $C(aa)$ arising from stationary logic. We show that assuming a proper class of Woodin cardinals, or alternatively $M{M}^{++}$, the regular uncountable cardinals of $V$ are measurable in the inner model $C(aa)$, the theory of $C(aa)$ is (set) forcing absolute, and $C(aa)$ satisfies CH. We introduce an auxiliary concept that we call club determinacy, which simplifies the construction of $C(aa)$ greatly but may have also independent interest. Based on club determinacy, we introduce the concept of aa-mouse which we use to prove CH and other properties of the inner model $C(aa)$.

This page was built for publication: Inner Models from Extended Logics: Part 2

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