12 citations · 49 across the 35 of their papers we have counts for
9 papers · 2 filters
Weak prediction principles
Omer Ben-Neria, Shimon Garti, Yair Hayut
We prove the consistency of the failure of the weak diamond at strongly inaccessible cardinals. On the other hand, we show that the very weak diamond is equivalent to t…
The Special Aronszajn Tree Property
Mohammad Golshani, Yair Hayut
Assuming the existence of a proper class of supercompact cardinals, we force that for every regular cardinal , there are -Aronszajn trees and all such trees are special.
On the consistency of local and global versions of Chang's Conjecture
Monroe Eskew, Yair Hayut
We show that for many pairs of infinite cardinals , is consistent relative to the consistency of a supercompact cardinal. We als…
The Tree Property up to
Yair Hayut
Starting from a stationary set of supercompact cardinals we find a generic extension in which the tree property holds at every regular cardinal between and $\aleph_{ω^2}…
Simultaneous stationary reflection and square sequences
Yair Hayut, Chris Lambie-Hanson
We investigate the relationship between weak square principles and simultaneous reflection of stationary sets.
Destructibility of the tree property at
Yair Hayut, Menachem Magidor
We construct a model in which the tree property holds in and it is destructible under . On the other hand we discuss some cases in which the tre…
Square and Delta reflection
Laura Fontanella, Yair Hayut
Starting from infinitely many supercompact cardinals, we force a model of ZFC where satisfies simultaneously a strong principle of reflection, called -reflectio…
The strong tree property and weak square
Yair Hayut, Spencer Unger
We show that it is consistent, relative to many supercompact cardinals, that the super tree property holds at for all but there are weak square and a…
On the verge of inconsistency: Magidor cardinals and Magidor filters
Shimon Garti, Yair Hayut, Saharon Shelah
We introduce a model-theoretic characterization of Magidor cardinals, from which we infer that Magidor filters are beyond ZFC-inconsistency