Yair Hayut

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 17

Top Topics

Tree Structures

Failure Prediction

Asynchronous Cellular Automata

Top Venues

Arch. Math. Log.

Ann. Pure Appl. Log.

Publications

Omer Ben-Neria, Yair Hayut, Spencer Unger
Stationary Reflection and the Failure of the SCH. J. Symb. Log. 89 (1) (2024)
Monroe Eskew, Sy-David Friedman, Yair Hayut, Farmer Schlutzenberg
Mutually embeddable models of ZFC. Ann. Pure Appl. Log. 175 (Issue 1, Part B) (2024)
Yair Hayut, David Lehavi
Complete \({\boldsymbol{SE(3)}}\) Invariants for a Comeagre Set of \({\boldsymbol{C^3}}\) Compact Orientable Surfaces in \(\mathbb{R}^{\boldsymbol{3}}\). SIAM J. Appl. Algebra Geom. 7 (2) (2023)
Yair Hayut, Menachem Magidor, Alejandro Poveda
Identity Crisis between supercompactness and VǒPenka's Principle. J. Symb. Log. 87 (2) (2022)
Shimon Garti, Yair Hayut, Haim Horowitz, Menachem Magidor
Forcing axioms and the Galvin number. Period. Math. Hung. 84 (2) (2022)
Yair Hayut, Menachem Magidor
Subcompact Cardinals, Type Omission, and ladder Systems. J. Symb. Log. 87 (3) (2022)
James Cummings, Yair Hayut, Menachem Magidor, Itay Neeman, Dima Sinapova, Spencer Unger
The Tree Property at the two Immediate Successors of a singular cardinal. J. Symb. Log. 86 (2) (2021)
Yair Hayut, Spencer Unger
Stationary Reflection. J. Symb. Log. 85 (3) (2020)
Mohammad Golshani, Yair Hayut
The special Aronszajn tree property. J. Math. Log. 20 (1) (2020)
Shimon Garti, Yair Hayut
The first omitting cardinal for Magidority. Math. Log. Q. 65 (1) (2019)
Yair Hayut, Menachem Magidor
DESTRUCTIBILITY OF THE TREE PROPERTY AT ${\aleph _{\omega + 1}}$. J. Symb. Log. 84 (2) (2019)
Yair Hayut, Chris Lambie-Hanson
Simultaneous stationary reflection and square sequences. J. Math. Log. 17 (2) (2017)
Yair Hayut
Magidor-Malitz reflection. Arch. Math. Log. 56 (3-4) (2017)
Yair Hayut, Spencer Unger
The strong tree property and weak square. Math. Log. Q. 63 (1-2) (2017)
Laura Fontanella, Yair Hayut
Square and Delta reflection. Ann. Pure Appl. Log. 167 (8) (2016)
Yair Hayut, Asaf Karagila
Restrictions on forcings that change cofinalities. Arch. Math. Log. 55 (3-4) (2016)
Mohammad Golshani, Yair Hayut
On Foreman's Maximality Principle. J. Symb. Log. 81 (4) (2016)