12 citations · 49 across the 35 of their papers we have counts for
5 papers · 1 filter
Magidor-Malitz Reflection
Yair Hayut
In this paper we investigate the consequences and consistency of the downward Löwenheim-Skolem theorem for extension of the first order logic by the Magidor-Malitz quantifier. We d…
The tree property on a countable segment of successors of singular cardinals
Mohammad Golshani, Yair Hayut
Starting from the existence of many supercompact cardinals, we construct a model of ZFC in which the tree property holds at a countable segment of successor of singular cardinals.
Magidor cardinals
Shimon Garti, Yair Hayut
We define Magidor cardinals as Jónsson cardinals upon replacing colorings of finite subsets by colorings of -bounded subsets. Unlike Jónsson cardinals which appear at som…
On Foreman's maximality principle
Mohammad Golshani, Yair Hayut
In this paper we consider the Foreman's maximality principle, which says that any non-trivial forcing notion either adds a new real or collapses some cardinals. We prove the consis…
Restrictions on Forcings That Change Cofinalities
Yair Hayut, Asaf Karagila
In this paper we investigate some properties of forcing which can be considered "nice" in the context of singularizing regular cardinals to have an uncountable cofinality. We show…