Inner Models from Extended Logics: Part 1
From MaRDI portal
Publication:6345541
DOI10.1142/S0219061321500124zbMATH Open1510.03019arXiv2007.10764MaRDI QIDQ6345541FDOQ6345541
Authors: Juliette Kennedy, Menachem Magidor, Jouko Väänänen 
Publication date: 21 July 2020
Abstract: If we replace first order logic by second order logic in the original definition of G"odel's inner model , we obtain HOD. In this paper we consider inner models that arise if we replace first order logic by a logic that has some, but not all, of the strength of second order logic. Typical examples are the extensions of first order logic by generalized quantifiers, such as the Magidor-Malitz quantifier, the cofinality quantifier, or stationary logic. Our first set of results show that both and HOD manifest some amount of {em formalism freeness} in the sense that they are not very sensitive to the choice of the underlying logic. Our second set of results shows that the cofinality quantifier gives rise to a new robust inner model between and HOD. We show, among other things, that assuming a proper class of Woodin cardinals the regular cardinals of are weakly compact in the inner model arising from the cofinality quantifier and the theory of that model is (set) forcing absolute and independent of the cofinality in question. We do not know whether this model satisfies the Continuum Hypothesis, assuming large cardinals, but we can show, assuming three Woodin cardinals and a measurable above them, that if the construction is relativized to a real, then on a cone of reals the Continuum Hypothesis is true in the relativized model.
Logic with extra quantifiers and operators (03C80) Consistency and independence results (03E35) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45)
This page was built for publication: Inner Models from Extended Logics: Part 1
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6345541)
