Inner Models from Extended Logics: Part 2

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

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…