activity
20152026
most citedOn the consistency of local and global versions of Chang's Conjecture

12 citations · 49 across the 35 of their papers we have counts for

collaborators
Showing 2019Show all

6 papers · 1 filter

math.LO2019

On -Strongly Measurable Cardinals

Omer Ben-Neria, Yair Hayut

We prove several consistency results concerning the notion of -strongly measurable cardinal in HOD. In particular, we show that is it consistent, relative to a large cardinal hy…

math.LO2019

A note on the normal filters extension property

Yair Hayut

We show that if and every normal filter on can be extended to a -complete ultrafilter then so does every -complete filter on . This answers a question…

math.LO2019

Perfect Subtree Property for Weakly Compact Cardinals

Yair Hayut, Sandra Müller

We investigate the consistency strength of the statement: is weakly compact and there is no tree on with exactly many branches. We show that this statement fails st…

math.LO2019

Dowker filters and Magidor forcing

Shimon Garti, Yair Hayut

We prove that the consistency of the existence of a Dowker filter at along with where is regular and uncountable. Using Magidor forcing we also prove the consis…

math.LO2019

Stationary Reflection and the failure of SCH

Omer Ben-Neria, Yair Hayut, Spencer Unger

In this paper we prove that from large cardinals it is consistent that there is a singular strong limit cardinal such that the singular cardinal hypothesis fails at and eve…

math.LO2019

Identity crises between supercompactness and Vopenka's Principle

Yair Hayut, Menachem Magidor, Alejandro Poveda

In this paper we study the notion of -supercompactness introduced by Bagaria in \cite{Bag} and prove the identity crises phenomenon for such class. Specifically, we show t…