103 citations · 140 across the 22 of their papers we have counts for
4 papers · 1 filter
Games with Filters
Matthew Foreman, Menachem Magidor, Martin Zeman
This paper has two parts. The first is concerned with a variant of a family of games introduced by Holy and Schlicht, that we call \emph{Welch games}. Player II having a winning st…
Inner Models from Extended Logics: Part 1
Juliette Kennedy, Menachem Magidor, Jouko Väänänen
If we replace first order logic by second order logic in the original definition of Gödel's inner model , we obtain HOD. In this paper we consider inner models that arise if we…
Inner Models from Extended Logics: Part 2
Juliette Kennedy, Menachem Magidor, Jouko Väänänen
We introduce a new inner model arising from stationary logic. We show that assuming a proper class of Woodin cardinals, or alternatively , the regular uncountable…
Subcompact cardinals, type omission and ladder systems
Yair Hayut, Menachem Magidor
We provide a model theoretical and tree property like characterization of --subcompactness and supercompactness. We explore the behaviour of those combinatorial principle…