Source author record

Yair Hayut

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO

Catalog footprint

Research overview

11works

1topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

The directedness of the Rudin-Keisler order at measurable cardinals

The manuscript is concerned with the Rudin-Keisler order of ultrafilters on measurable cardinals. The main theorem proved read as follows: Given regular cardinals $λ\leq κ$ , the following theories are equiconsistent modulo ZFC: (1) $κ$ is a measurable cardinal with $o(κ)=λ^+$ (resp. $o(κ)=κ$ ). (2) The Rudin-Keisler order restricted to the set of $κ$ -complete (non-principal) ultrafilters on $κ$ is $λ^+$ -directed (resp. $κ^+$ -directed). The theorem reported here is proved after bridging the directedness of the RK-order with the $λ$ -Gluing Property introduced by the authors in \cite{HP}. Our result provides what seems to be the first example of a compactness-type property at the level of measurable cardinals whose consistency strength is much lower than the existence of a strong cardinal. As part of our analysis we also answer a question of Gitik by showing that the $\aleph_0$ -Gluing Property fails in his classical model from ''Changing cofinalities and the nonstationary ideal". As a consequence of this, in Gitik's model the Rudin-Keisler order fails to be $\aleph_1$ -directed.

preprint2023arXiv

Sealed Kurepa Trees

In this paper we investigate the problem of the distributivity of Kurepa trees. We show that it is consistent that there are Kurepa trees and for every Kurepa tree there is a small forcing notion which adds a branch to it without collapsing cardinals. On the other hand, we derive a proper forcing notion for making an arbitrary Kurepa tree into a non-distributive tree without collapsing $\aleph_1$ and $\aleph_2$ .

preprint2022arXiv

Subcompact cardinals, type omission and ladder systems

We provide a model theoretical and tree property like characterization of $λ$ - $Π^1_1$ -subcompactness and supercompactness. We explore the behaviour of those combinatorial principles at accessible cardinals.

preprint2021arXiv

Global Chang's Conjecture and singular cardinals

We investigate the possibilities of global versions of Chang's Conjecture that involve singular cardinals. We show some $\mathrm{ZFC}$ limitations on such principles, and prove relative to large cardinals that Chang's Conjecture can consistently hold between all pairs of limit cardinals below $\aleph_{ω^ω}$ .

preprint2020arXiv

The Tree Property up to $\aleph_{ω^2}$

Starting from a stationary set of supercompact cardinals we find a generic extension in which the tree property holds at every regular cardinal between $\aleph_2$ and $\aleph_{ω^2}$ .

preprint2019arXiv

Critical Cardinals

We introduce the notion of a critical cardinal as the critical point of sufficiently strong elementary embedding between transitive sets. Assuming the axiom of choice this is equivalent to measurability, but it is well-known that choice is necessary for the equivalence. Oddly enough, this central notion was never investigated on its own before. We prove a technical criterion for lifting elementary embeddings to symmetric extensions, and we use this to show that it is consistent relative to a supercompact cardinal that there is a critical cardinal whose successor is singular.

preprint2019arXiv

Dowker filters and Magidor forcing

We prove that the consistency of the existence of a Dowker filter at $κ^+$ along with $2^κ=κ^+$ where $κ$ is regular and uncountable. Using Magidor forcing we also prove the consistency of the existence of a Dowker filter at $μ^+$ where $μ>{\rm cf}(μ)>ω$ .

preprint2018arXiv

Martin's maximum and the non-stationary ideal

We analyze the non-stationary ideal and the club filter at aleph_1 under MM.

preprint2016arXiv

On Foreman's maximality principle

In this paper we consider the Foreman's maximality principle, which says that any non-trivial forcing notion either adds a new real or collapses some cardinals. We prove the consistency of some of its consequences. We prove that it is consistent that every $c.c.c.$ forcing adds a real and that for every uncountable regular cardinal $κ$ , every $κ$ -closed forcing of size $2^{<κ}$ collapses some cardinals.

preprint2016arXiv

Square and Delta reflection

Starting from infinitely many supercompact cardinals, we force a model of ZFC where $\aleph_{ω^2+1}$ satisfies simultaneously a strong principle of reflection, called $Δ$ -reflection, and a version of the square principle, denoted $\square(\aleph_{ω^2+1}).$ Thus we show that $\aleph_{ω^2+1}$ can satisfy simultaneously a strong reflection principle and an anti-reflection principle.

preprint2016arXiv

The strong tree property and weak square

We show that it is consistent, relative to $ω$ many supercompact cardinals, that the super tree property holds at $\aleph_n$ for all $2 \leq n < ω$ but there are weak square and a very good scale at $\aleph_ω$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Yair Hayut

Research overview

Is this your work?

11 publications

The directedness of the Rudin-Keisler order at measurable cardinals

Sealed Kurepa Trees

Subcompact cardinals, type omission and ladder systems

Global Chang's Conjecture and singular cardinals

The Tree Property up to $\aleph_{ω^2}$

Critical Cardinals

Dowker filters and Magidor forcing

Martin's maximum and the non-stationary ideal

On Foreman's maximality principle

Square and Delta reflection

The strong tree property and weak square

See the researcher in context

Building this map preview

Yair Hayut

Research overview

Is this your work?

11 publications

The directedness of the Rudin-Keisler order at measurable cardinals

Sealed Kurepa Trees

Subcompact cardinals, type omission and ladder systems

Global Chang's Conjecture and singular cardinals

The Tree Property up to ℵω2\aleph_{ω^2}ℵω2​

Critical Cardinals

Dowker filters and Magidor forcing

Martin's maximum and the non-stationary ideal

On Foreman's maximality principle

Square and Delta reflection

The strong tree property and weak square

See the researcher in context

Building this map preview

The Tree Property up to $\aleph_{ω^2}$