Restrictions on forcings that change cofinalities. - Yair Hayut; Asaf Karagila (Arch. Math. Log., 2016)

Square and Delta reflection. - Laura Fontanella; Yair Hayut (Ann. Pure Appl. Log., 2016)

On Foreman's Maximality Principle. - Mohammad Golshani; Yair Hayut (J. Symb. Log., 2016)

Magidor-Malitz reflection. - Yair Hayut (Arch. Math. Log., 2017)

Simultaneous stationary reflection and square sequences. - Yair Hayut; Chris Lambie-Hanson (J. Math. Log., 2017)

The strong tree property and weak square. - Yair Hayut; Spencer Unger (Math. Log. Q., 2017)

DESTRUCTIBILITY OF THE TREE PROPERTY AT ${ aleph _{ omega + 1}}$. - Yair Hayut; Menachem Magidor (J. Symb. Log., 2019)

The first omitting cardinal for Magidority. - Shimon Garti; Yair Hayut (Math. Log. Q., 2019)

The special Aronszajn tree property. - Mohammad Golshani; Yair Hayut (J. Math. Log., 2020)

Stationary Reflection. - Yair Hayut; Spencer Unger (J. Symb. Log., 2020)

The Tree Property at the two Immediate Successors of a singular cardinal. - James Cummings 001; Yair Hayut; Menachem Magidor; Itay Neeman; Dima Sinapova; Spencer Unger (J. Symb. Log., 2021)

Subcompact Cardinals, Type Omission, and ladder Systems. - Yair Hayut; Menachem Magidor (J. Symb. Log., 2022)

Identity Crisis between supercompactness and VǒPenka's Principle. - Yair Hayut; Menachem Magidor; Alejandro Poveda (J. Symb. Log., 2022)

Forcing axioms and the Galvin number. - Shimon Garti; Yair Hayut; Haim Horowitz; Menachem Magidor (Period. Math. Hung., 2022)

Complete ({ boldsymbol{SE(3)}} ) Invariants for a Comeagre Set of ({ boldsymbol{C^3}} ) Compact Orientable Surfaces in ( mathbb{R}^{ boldsymbol{3}} ). - Yair Hayut; David Lehavi (SIAM J. Appl. Algebra Geom., 2023)

Stationary Reflection and the Failure of the SCH. - Omer Ben-Neria; Yair Hayut; Spencer Unger (J. Symb. Log., 2024)

Mutually embeddable models of ZFC. - Monroe Eskew; Sy-David Friedman; Yair Hayut; Farmer Schlutzenberg (Ann. Pure Appl. Log., 2024)

The variety of projections of a tree Prikry forcing. - Tom Benhamou; Moti Gitik; Yair Hayut (J. Math. Log., 2024)