103 citations · 140 across the 22 of their papers we have counts for
27 papers
New inner models from second order logics
Menachem Magidor, Jouko Väänänen
We define a new inner model C2(omega) based on the fragment of second order logic in which second order variables range over countable subsets of the domain. We compare C2(omega) t…
The tree property on long intervals of regular cardinals
James Cummings, Yair Hayut, Menachem Magidor +3
In this paper we prove that the tree property can hold on regular cardinals in an interval which overlaps a strong limit cardinal. This is a crucial milestone in the long term proj…
Aronszajn trees and maximality
Omer Ben-Neria, Siiri Kivimäki, Menachem Magidor +1
Assuming the consistency of a weakly compact cardinal above a regular uncountable cardinal , we prove the consistency of the existence of a wide -Aronszajn tree, i.e. a tre…
Model Theoretic Characterizations of Large Cardinals Revisited
Will Boney, Stamatis Dimopoulos, Victoria Gitman +1
In [Bon20], model theoretic characterizations of several established large cardinal notions were given. We continue this work, by establishing such characterizations for Woodin car…
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…