Yair Hayut

About Me

I am a Senior Lecturer in the Einstein Institue of mathematics in the Hebrew University of Jerusalem. I'm working in Set Theory, which is a branch of mathematical logic.

I am mostly interested in the consistency of getting reflection properties, which often occur at large cardinals, at accessable cardinals, and the provable limitations on such phenomena.

Students

Post Docs

• Eilon Bilinsky
• Alejandro Poveda

Doctoral Students

• Inbar Oren

Master Degree Students

• Matan Ben-Asher (joint supervision with Shimon Garti)
• Yifan Yang
• Assaf Haas
• Danny Hersko
• Itamar Giron (Finished in 2023)

Papers

• The first measurable can be the first inaccessible cardinal arxiv link,
• Sealed Kurepa Trees (with Itamar Giron) arxiv link,
• Stationary Reflection and the failure of SCH (with Omer Ben-Neria and Spencer Unger) arxiv link, Journal link
• Prikry type forcings and the Bukovský-Dehornoy phenomena arxiv link,
• The Spectra of transitive models (with Eilon Bilinsky) arxiv link,
• On $\omega$-Strongly Measurable Cardinals (with Omer Ben-Neria) arxiv link, Journal link
• Small measurable cardinals (with Asaf Karagila) arxiv link,
• The Gluing Property (with Alejandro Poveda) arxiv link,
• Complete SE(3) invariants for a comeagre set of $C^3$ compact orientable surfaces in $\mathbb{R}^3$ (with David Lehavi) arxiv link, Journal link
• Subcompact cardinals, type omission and ladder systems (with Menachem Magidor) arxiv link, Journal link
• The Variety of Projection of a Tree-Prikry Forcing (with Tom Benhamou and Moti Gitik) arxiv link, Journal link
• Perfect Subtree Property for Weakly Compact Cardinals (with Sandra Müller) arxiv link, Journal link
• Mutually embeddable models of ZFC (with Monroe Eskew, Sy-David Friedman and Farmer Schlutzenberg) arxiv link, Journal link
• Global Chang's Conjecture and singular cardinals (with Monroe Eskew) arxiv link, Journal link
• A note on the normal filters extension property arxiv link, Journal link
• Dowker filters and Magidor forcing (with Shimon Garti) arxiv link, Journal link
• On the consistency of local and global versions of Chang's Conjecture (with Monroe Eskew) arxiv link, Journal link
• The Special Aronszajn Tree Property (with Mohammad Golshani) arxiv link, Journal link
• Critical Cardinals (with Asaf Karagila) arxiv link, Journal link
• Identity crises between supercompactness and Vopenka's Principle (with Menachem Magidor and Alejandro Poveda) arxiv link, Journal link
• The first omitting cardinal for Magidority (with Shimon Garti) arxiv link, Journal link
• Destructibility of the tree property at $\aleph_{\omega+1}$ (with Menachem Magidor) arxiv link, Journal link
• Partial strong compactness and squares arxiv link, Journal link
• Magidor-Malitz Reflection arxiv link, Journal link
• Spectra of uniformity (with Asaf Karagila) arxiv link, Journal link
• Stationary Reflection (with Spencer Unger) arxiv link, Journal link
• Weak prediction principles (With Omer Ben-Neria and Shimon Garti) arxiv link, Journal link
• Simultaneous stationary reflection and square sequences (with Chris Lambie-Hanson) arxiv link, Journal link
• Magidor Cardinals (with Shimon Garti) arxiv link, Journal link
• The tree property on a countable segment of successors of singular cardinals (with Mohammad Golshani) arxiv link, Journal link
• The strong tree property and weak square (with Spencer Unger) arxiv link, Journal link
• On the verge of inconsistency: Magidor cardinals and Magidor filters (with Shimon Garti and Saharon Shelah) arxiv link, Journal link
• On Foreman's maximality principle (with Mohammad Golshani) arxiv link, Journal link
• Square and Delta reflection (with Laura Fontanella) arxiv link, Journal link
• Restrictions on Forcings That Change Cofinalities (with Asaf Karagila) arxiv link, Journal link

Contact

You can contact me at yair.hayut at mail.huji.ac.il

My Office is in Ross Building, Room 52.