Showing 1–38 of 38 results for author: Hayut, Y

Intermediate models with deep failure of choice

Authors: Yair Hayut, Assaf Shani

Abstract: The following question was asked by Grigorieff: Suppose $V$ is a ZFC model and $V[G]$ is a set-generic extension of $V$. Can there be a ZF model $N$ so that $V\subset N \subset V[G]$ yet $N$ is not equal to $V(A)$ for any set $A\in V[G]$? The first such model was constructed by Karagila. This is the so-called \emph{Bristol model}, an intermediate model between $L$ and $L[c]$ where $c$ is a Cohen-g… ▽ More The following question was asked by Grigorieff: Suppose $V$ is a ZFC model and $V[G]$ is a set-generic extension of $V$. Can there be a ZF model $N$ so that $V\subset N \subset V[G]$ yet $N$ is not equal to $V(A)$ for any set $A\in V[G]$? The first such model was constructed by Karagila. This is the so-called \emph{Bristol model}, an intermediate model between $L$ and $L[c]$ where $c$ is a Cohen-generic real over $L$. Karagila further proves that the Kinna-Wager degree is unbounded in this model. We prove that such an intermediate extension can be found in a Cohen-generic extension of \emph{any} ground model, fully resolving Grigorieff's question. That is, let $V$ be \emph{any} ZF model and $c$ a Cohen-generic real over $V$. We prove that there is an intermediate ZF-model $V\subset N \subset V[c]$ so that $N$ is not equal to $V(A)$ for any set $A\in V[c]$, the Kinna-Wagner degree of $N$ is unbounded and, in particular, no set forcing in $N$ forces the axiom of choice. Therefore, there are class many different intermediate models of ZF between $V$ and $V[c]$. △ Less

Submitted 2 July, 2024; originally announced July 2024.

MSC Class: 03E25; 03E35

The first measurable can be the first inaccessible cardinal

Authors: Moti Gitik, Yair Hayut, Asaf Karagila

Abstract: In [7] the second and third author showed that if the least inaccessible cardinal is the least measurable cardinal, then there is an inner model with $o(κ)\geq2$. In this paper we improve this to $o(κ)\geqκ+1$ and show that if $κ$ is a $κ^{++}$-supercompact cardinal, then there is a symmetric extension in which it is the least inaccessible and the least measurable cardinal. In [7] the second and third author showed that if the least inaccessible cardinal is the least measurable cardinal, then there is an inner model with $o(κ)\geq2$. In this paper we improve this to $o(κ)\geqκ+1$ and show that if $κ$ is a $κ^{++}$-supercompact cardinal, then there is a symmetric extension in which it is the least inaccessible and the least measurable cardinal. △ Less

Submitted 5 January, 2024; originally announced January 2024.

Comments: 12 pages

MSC Class: Primary 03E25; Secondary 03E35; 03E55; 03E45

Sealed Kurepa Trees

Authors: Itamar Giron, Yair Hayut

Abstract: 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$… ▽ More 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$. △ Less

Submitted 31 December, 2023; originally announced January 2024.

MSC Class: 03E05 03E35

Prikry type forcings and the Bukovský-Dehornoy phenomena

Authors: Yair Hayut

Abstract: This paper is meant to present in a coherent way several instances of quite common phenomena that was first identified (independently) by Bukovský and Dehornoy. We present the basic result for Prikry type forcing and show how to extend it to the Gitik-Shraon forcing, the Extender Based Prikry forcing, Prikry forcings with interleaved collapses and Radin forcing for $o(κ) < κ^+$. This paper is meant to present in a coherent way several instances of quite common phenomena that was first identified (independently) by Bukovský and Dehornoy. We present the basic result for Prikry type forcing and show how to extend it to the Gitik-Shraon forcing, the Extender Based Prikry forcing, Prikry forcings with interleaved collapses and Radin forcing for $o(κ) < κ^+$. △ Less

Submitted 10 August, 2023; originally announced August 2023.

MSC Class: 03E35 03E40

The Spectra of transitive models

Authors: Eilon Bilinsky, Yair Hayut

Abstract: In this paper we study the spectrum of heights of transitive models of theories extending $V = L[A]$, under various definitions. In particular, we investigate the consistency strength of making those spectra as simple as possible. In this paper we study the spectrum of heights of transitive models of theories extending $V = L[A]$, under various definitions. In particular, we investigate the consistency strength of making those spectra as simple as possible. △ Less

Submitted 7 May, 2023; originally announced May 2023.

MSC Class: 03E10 03E10 03E57

Small measurable cardinals

Authors: Yair Hayut, Asaf Karagila

Abstract: We continue to work from [5] and make a small -- but significant -- improvement to the definition of $j$-decomposable system. This provides us with a better lifting of elementary embeddings to symmetric extension. In particular, this allows us to more easily lift weakly compact embedding and thus preserve the notion of weakly critical cardinals. We use this improved lifting criterion to show that… ▽ More We continue to work from [5] and make a small -- but significant -- improvement to the definition of $j$-decomposable system. This provides us with a better lifting of elementary embeddings to symmetric extension. In particular, this allows us to more easily lift weakly compact embedding and thus preserve the notion of weakly critical cardinals. We use this improved lifting criterion to show that the first measurable cardinal can be the first weakly critical cardinal or the first Mahlo cardinal, both relative to the existence of a single measurable cardinal. However, if the first inaccessible cardinal is the first measurable cardinal, then in a suitable inner model it has a Mitchell order of at least $2$. △ Less

Submitted 15 December, 2022; originally announced December 2022.

Comments: 6 pages

MSC Class: 03E25 (Primary); 03E55; 03E35 (Secondary)

The Gluing Property

Authors: Yair Hayut, Alejandro Poveda

Abstract: We introduce a new compactness principle which we call the gluing property. For a measurable cardinal $κ$ and a cardinal $λ$, we say that $κ$ has the $λ$-gluing property if every sequence of $λ$-many $κ$-complete ultrafilters on $κ$ can be glued into a $κ$-complete extender. We show that every $κ$-compact cardinal has the $2^κ$-gluing property, yet non-necessarily the $(2^κ)^+$-gluing property. Fi… ▽ More We introduce a new compactness principle which we call the gluing property. For a measurable cardinal $κ$ and a cardinal $λ$, we say that $κ$ has the $λ$-gluing property if every sequence of $λ$-many $κ$-complete ultrafilters on $κ$ can be glued into a $κ$-complete extender. We show that every $κ$-compact cardinal has the $2^κ$-gluing property, yet non-necessarily the $(2^κ)^+$-gluing property. Finally, we compute the exact consistency-strength for $κ$ to have the $ω$-gluing property; this being $o(κ)=ω_1$. △ Less

Submitted 6 December, 2022; originally announced December 2022.

The Variety of Projection of a Tree-Prikry Forcing

Authors: Tom Benhamou, Moti Gitik, Yair Hayut

Abstract: We study which $κ$-distributive forcing notions of size $κ$ can be embedded into tree Prikry forcing notions with $κ$-complete ultrafilters under various large cardinal assumptions. An alternative formulation -- can the filter of dense open subsets of a $��$-distributive forcing notion of size $κ$ be extended to a $κ$-complete ultrafilter. We study which $κ$-distributive forcing notions of size $κ$ can be embedded into tree Prikry forcing notions with $κ$-complete ultrafilters under various large cardinal assumptions. An alternative formulation -- can the filter of dense open subsets of a $κ$-distributive forcing notion of size $κ$ be extended to a $κ$-complete ultrafilter. △ Less

Submitted 16 November, 2021; v1 submitted 19 September, 2021; originally announced September 2021.

Complete $SE(3)$ invariants for a comeagre set of $C^3$ compact orientable surfaces in $\mathbb{R}^3$

Authors: Yair Hayut, David Lehavi

Abstract: We introduce invariants for compact $C^1$-orientable surfaces (with boundary) in $\mathbb{R}^3$ up to rigid transformations. Our invariants are certain degree four polynomials in the moments of the delta function of the surface. We give an effective and numerically stable inversion algorithm for retrieving the surface from the invariants, which works on a comeagre subset of $C^3$-surfaces. We introduce invariants for compact $C^1$-orientable surfaces (with boundary) in $\mathbb{R}^3$ up to rigid transformations. Our invariants are certain degree four polynomials in the moments of the delta function of the surface. We give an effective and numerically stable inversion algorithm for retrieving the surface from the invariants, which works on a comeagre subset of $C^3$-surfaces. △ Less

Submitted 6 July, 2022; v1 submitted 30 August, 2021; originally announced August 2021.

Comments: added examples and a related questions section

MSC Class: 14L24 53A05

Journal ref: SIAM Journal on Applied Algebra and Geometry Volume 7 Issue 2 2023 pp. 311-344

Mutually embeddable models of ZFC

Authors: Monroe Eskew, Sy-David Friedman, Yair Hayut, Farmer Schlutzenberg

Abstract: We investigate systems of transitive models of ZFC which are elementarily embeddable into each other and the influence of definability properties on such systems. We investigate systems of transitive models of ZFC which are elementarily embeddable into each other and the influence of definability properties on such systems. △ Less

Submitted 27 August, 2021; originally announced August 2021.

Subcompact cardinals, type omission and ladder systems

Authors: Yair Hayut, Menachem Magidor

Abstract: 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. 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. △ Less

Submitted 2 February, 2022; v1 submitted 5 March, 2020; originally announced March 2020.

MSC Class: 03C75; 03E55; 03E35

On $ω$-Strongly Measurable Cardinals

Authors: Omer Ben-Neria, Yair Hayut

Abstract: 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 hypothesis weaker than $o(κ) = κ$, that every successor of a regular cardinal is $ω$-strongly measurable in HOD. 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 hypothesis weaker than $o(κ) = κ$, that every successor of a regular cardinal is $ω$-strongly measurable in HOD. △ Less

Submitted 15 February, 2023; v1 submitted 11 November, 2019; originally announced November 2019.

MSC Class: 03E35; 03E45; 03E55

Perfect Subtree Property for Weakly Compact Cardinals

Authors: Yair Hayut, Sandra Müller

Abstract: 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 strongly (in the sense that there is a sealed tree with exactly $κ^{+}$ many branches) if there is no inner model with a Woodin cardinal. Moreover, we show that for a weakly compact cardinal $κ$ the nonexistence of a tree… ▽ More 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 strongly (in the sense that there is a sealed tree with exactly $κ^{+}$ many branches) if there is no inner model with a Woodin cardinal. Moreover, we show that for a weakly compact cardinal $κ$ the nonexistence of a tree on $κ$ with exactly $κ^{+}$ many branches and, in particular, the Perfect Subtree Property for $κ$, implies the consistency of $AD_{\mathbb{R}} + DC$. △ Less

Submitted 21 September, 2021; v1 submitted 11 October, 2019; originally announced October 2019.

Dowker filters and Magidor forcing

Authors: Shimon Garti, Yair Hayut

Abstract: 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}(μ)>ω$. 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}(μ)>ω$. △ Less

Submitted 26 September, 2019; originally announced September 2019.

MSC Class: 03E50; 03E55

Journal ref: Proceedings of the American Mathematical Society, vol. 148 no. 9, 2020, pages 4079-4089

A note on the normal filters extension property

Authors: Yair Hayut

Abstract: We show that if $λ^{<κ} = λ$ and every normal filter on $P_κλ$ can be extended to a $κ$-complete ultrafilter then so does every $κ$-complete filter on $λ$. This answers a question of Gitik. We show that if $λ^{<κ} = λ$ and every normal filter on $P_κλ$ can be extended to a $κ$-complete ultrafilter then so does every $κ$-complete filter on $λ$. This answers a question of Gitik. △ Less

Submitted 29 October, 2019; v1 submitted 2 September, 2019; originally announced September 2019.

Comments: 4 pages

MSC Class: 03E20

Stationary Reflection and the failure of SCH

Authors: Omer Ben-Neria, Yair Hayut, Spencer Unger

Abstract: 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 every collection of fewer than $\mathrm{cf}(ν)$ stationary subsets of $ν^+$ reflects simultaneously. For $\mathrm{cf}(ν) > ω$, this situation was not previously known to be consistent. Using different methods, we reduce the… ▽ More 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 every collection of fewer than $\mathrm{cf}(ν)$ stationary subsets of $ν^+$ reflects simultaneously. For $\mathrm{cf}(ν) > ω$, this situation was not previously known to be consistent. Using different methods, we reduce the upper bound on the consistency strength of this situation for $\mathrm{cf}(ν) = ω$ to below a single partially supercompact cardinal. The previous upper bound of infinitely many supercompact cardinals was due to Sharon. △ Less

Submitted 11 September, 2023; v1 submitted 29 August, 2019; originally announced August 2019.

Comments: 28 pages

MSC Class: 03E35

Identity crises between supercompactness and Vopenka's Principle

Authors: Yair Hayut, Menachem Magidor, Alejandro Poveda

Abstract: In this paper we study the notion of $C^{(n)}$-supercompactness introduced by Bagaria in \cite{Bag} and prove the identity crises phenomenon for such class. Specifically, we show that consistently the least supercompact is strictly below the least $C^{(1)}$-supercompact but also that the least supercompact is $C^{(1)}$-supercompact (and even $C^{(n)}$-supercompact). Furthermore, we prove under sui… ▽ More In this paper we study the notion of $C^{(n)}$-supercompactness introduced by Bagaria in \cite{Bag} and prove the identity crises phenomenon for such class. Specifically, we show that consistently the least supercompact is strictly below the least $C^{(1)}$-supercompact but also that the least supercompact is $C^{(1)}$-supercompact (and even $C^{(n)}$-supercompact). Furthermore, we prove under suitable hypothesis that the ultimate identity crises is also possible. These results solve several questions posed by Bagaria and Tsaprounis. △ Less

Submitted 29 May, 2019; originally announced May 2019.

Global Chang's Conjecture and singular cardinals

Authors: Monroe Eskew, Yair Hayut

Abstract: 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_{ω^ω}$. 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_{ω^ω}$. △ Less

Submitted 5 March, 2021; v1 submitted 31 December, 2018; originally announced December 2018.

MSC Class: 03C55

Critical Cardinals

Authors: Yair Hayut, Asaf Karagila

Abstract: 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… ▽ More 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. △ Less

Submitted 29 May, 2019; v1 submitted 7 May, 2018; originally announced May 2018.

Comments: 16 pages; revised version

MSC Class: Primary 03E25; Secondary 03E55; 03E35

Journal ref: Israel J. Math. 236 (2020) no. 1, 449--472

Stationary Reflection

Authors: Yair Hayut, Spencer Unger

Abstract: We improve the upper bound for the consistency strength of stationary reflection at successors of singular cardinals. We improve the upper bound for the consistency strength of stationary reflection at successors of singular cardinals. △ Less

Submitted 30 April, 2018; originally announced April 2018.

MSC Class: 03E35; 03E55

Journal ref: J. symb. log. 85 (2020) 937-959

Partial strong compactness and squares

Authors: Yair Hayut

Abstract: In this paper we analyze the connection between some properties of partially strongly compact cardinals: the completion of filters of certain size and instances of the compactness of $\mathcal{L}_{κ,κ}$. Using this equivalence we show that if any $κ$-complete filter on $λ$ can be extended to a $κ$-complete ultrafilter and $λ^{<κ} = λ$ then $\square(μ)$ fails for all regular $μ\in[κ,2^λ]$. As an ap… ▽ More In this paper we analyze the connection between some properties of partially strongly compact cardinals: the completion of filters of certain size and instances of the compactness of $\mathcal{L}_{κ,κ}$. Using this equivalence we show that if any $κ$-complete filter on $λ$ can be extended to a $κ$-complete ultrafilter and $λ^{<κ} = λ$ then $\square(μ)$ fails for all regular $μ\in[κ,2^λ]$. As an application, we improve the lower bound for the consistency strength of $κ$-compactness, a case which was explicitly considered by Mitchell. △ Less

Submitted 16 September, 2018; v1 submitted 16 April, 2018; originally announced April 2018.

MSC Class: 03E55

The first omitting cardinal for Magidority

Authors: Shimon Garti, Yair Hayut

Abstract: We prove that $α_M(λ)$ can be successor of a supercompact cardinal, when $λ$ is a Magidor cardinal. From this result we obtain the consistency of $α_M(λ)$ being a successor of a singular cardinal with uncountable cofinality. We prove that $α_M(λ)$ can be successor of a supercompact cardinal, when $λ$ is a Magidor cardinal. From this result we obtain the consistency of $α_M(λ)$ being a successor of a singular cardinal with uncountable cofinality. △ Less

Submitted 16 May, 2019; v1 submitted 31 December, 2017; originally announced January 2018.

MSC Class: 03E55

Journal ref: Math. Log. Quart., 65: 95-104 (2019)

Spectra of uniformity

Authors: Yair Hayut, Asaf Karagila

Abstract: We study some limitations and possible occurrences of uniform ultrafilters on ordinals without the axiom of choice. We prove an Easton-like theorem about the possible spectrum of successors of regular cardinals which carry uniform ultrafilters; we also show that this spectrum is not necessarily closed. We study some limitations and possible occurrences of uniform ultrafilters on ordinals without the axiom of choice. We prove an Easton-like theorem about the possible spectrum of successors of regular cardinals which carry uniform ultrafilters; we also show that this spectrum is not necessarily closed. △ Less

Submitted 23 July, 2018; v1 submitted 14 September, 2017; originally announced September 2017.

Comments: Post-refereeing version; 12 pages

MSC Class: Primary 03E25; Secondary 03E55; 03E35

Journal ref: Comment. Math. Univ. Carolin. 60 (2019), no. 2, 285--298

Martin's maximum and the non-stationary ideal

Authors: Shimon Garti, Yair Hayut, Haim Horowitz, Menachem Magidor

Abstract: We analyze the non-stationary ideal and the club filter at aleph_1 under MM. We analyze the non-stationary ideal and the club filter at aleph_1 under MM. △ Less

Submitted 21 June, 2018; v1 submitted 27 August, 2017; originally announced August 2017.

MSC Class: 03E50

Journal ref: Periodica Mathematica Hungarica, vol. 84 (2022), pp. 250-258

Weak prediction principles

Authors: Omer Ben-Neria, Shimon Garti, Yair Hayut

Abstract: We prove the consistency of the failure of the weak diamond $Φ_λ$ at strongly inaccessible cardinals. On the other hand, we show that the very weak diamond $Ψ_λ$ is equivalent to the statement $2^{<λ}<2^λ$ and hence holds at every strongly inaccessible cardinal. We prove the consistency of the failure of the weak diamond $Φ_λ$ at strongly inaccessible cardinals. On the other hand, we show that the very weak diamond $Ψ_λ$ is equivalent to the statement $2^{<λ}<2^λ$ and hence holds at every strongly inaccessible cardinal. △ Less

Submitted 29 October, 2017; v1 submitted 27 October, 2016; originally announced October 2016.

MSC Class: 03E05

Journal ref: Fundamenta Mathematicae, 245 (2019), pp. 109-125

The Special Aronszajn Tree Property

Authors: Mohammad Golshani, Yair Hayut

Abstract: Assuming the existence of a proper class of supercompact cardinals, we force that for every regular cardinal $κ$, there are $κ^+$-Aronszajn trees and all such trees are special. Assuming the existence of a proper class of supercompact cardinals, we force that for every regular cardinal $κ$, there are $κ^+$-Aronszajn trees and all such trees are special. △ Less

Submitted 9 July, 2019; v1 submitted 5 October, 2016; originally announced October 2016.

Comments: 22 pages

MSC Class: 03E55; 03E35

On the consistency of local and global versions of Chang's Conjecture

Authors: Monroe Eskew, Yair Hayut

Abstract: We show that for many pairs of infinite cardinals $κ> μ^+ > μ$, $(κ^{+}, κ)\twoheadrightarrow (μ^+, μ)$ is consistent relative to the consistency of a supercompact cardinal. We also show that it is consistent, relative to a huge cardinal that $(κ^{+}, κ)\twoheadrightarrow (μ^+, μ)$ for every successor cardinal $κ$ and every $μ< κ$, answering a question of Foreman. We show that for many pairs of infinite cardinals $κ> μ^+ > μ$, $(κ^{+}, κ)\twoheadrightarrow (μ^+, μ)$ is consistent relative to the consistency of a supercompact cardinal. We also show that it is consistent, relative to a huge cardinal that $(κ^{+}, κ)\twoheadrightarrow (μ^+, μ)$ for every successor cardinal $κ$ and every $μ< κ$, answering a question of Foreman. △ Less

Submitted 6 September, 2019; v1 submitted 17 July, 2016; originally announced July 2016.

Comments: Fixed a proof for Lemma 42

MSC Class: 03E02; 03E35

Journal ref: Trans. Amer. Math. Soc. 370 (2018), no. 4, 2879--2905. MR3748588

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

Authors: Yair Hayut

Abstract: 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}$. 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}$. △ Less

Submitted 5 February, 2020; v1 submitted 20 May, 2016; originally announced May 2016.

Comments: The argument is flawed. In particular, the proof of Lemma 31 is wrong

Simultaneous stationary reflection and square sequences

Authors: Yair Hayut, Chris Lambie-Hanson

Abstract: We investigate the relationship between weak square principles and simultaneous reflection of stationary sets. We investigate the relationship between weak square principles and simultaneous reflection of stationary sets. △ Less

Submitted 25 October, 2017; v1 submitted 17 March, 2016; originally announced March 2016.

MSC Class: 03E05; 03E35; 03E55

Destructibility of the tree property at $\aleph_{ω+1}$

Authors: Yair Hayut, Menachem Magidor

Abstract: We construct a model in which the tree property holds in $\aleph_{ω+ 1}$ and it is destructible under $\text{Col}(ω, ω_1)$. On the other hand we discuss some cases in which the tree property is indestructible under small or closed forcings. We construct a model in which the tree property holds in $\aleph_{ω+ 1}$ and it is destructible under $\text{Col}(ω, ω_1)$. On the other hand we discuss some cases in which the tree property is indestructible under small or closed forcings. △ Less

Submitted 29 April, 2019; v1 submitted 17 March, 2016; originally announced March 2016.

MSC Class: 03E35; 03E55

Square and Delta reflection

Authors: Laura Fontanella, Yair Hayut

Abstract: 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. 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. △ Less

Submitted 3 February, 2016; originally announced February 2016.

The strong tree property and weak square

Authors: Yair Hayut, Spencer Unger

Abstract: 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_ω$. 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_ω$. △ Less

Submitted 6 November, 2016; v1 submitted 28 January, 2016; originally announced January 2016.

MSC Class: 03E55; 03E05; 03E35

On the verge of inconsistency: Magidor cardinals and Magidor filters

Authors: Shimon Garti, Yair Hayut, Saharon Shelah

Abstract: We introduce a model-theoretic characterization of Magidor cardinals, from which we infer that Magidor filters are beyond ZFC-inconsistency We introduce a model-theoretic characterization of Magidor cardinals, from which we infer that Magidor filters are beyond ZFC-inconsistency △ Less

Submitted 29 May, 2016; v1 submitted 28 January, 2016; originally announced January 2016.

Comments: after revision; to appear

MSC Class: 03E55

Journal ref: Israel Journal of Mathematics, vol. 220 (2017), pp. 89-102

Magidor-Malitz Reflection

Authors: Yair Hayut

Abstract: In this paper we investigate the consequences and consistency of the downward Löwenheim-Skolem theorem for extension of the first order logic by the Magidor-Malitz quantifier. We derive some combinatorial results and improve the known upper bound for the consistency of Chang's Conjecture at successor of singular cardinals. In this paper we investigate the consequences and consistency of the downward Löwenheim-Skolem theorem for extension of the first order logic by the Magidor-Malitz quantifier. We derive some combinatorial results and improve the known upper bound for the consistency of Chang's Conjecture at successor of singular cardinals. △ Less

Submitted 30 July, 2018; v1 submitted 31 December, 2015; originally announced December 2015.

Journal ref: Archive for Mathematical Logic, 2017, Vol. 56 (3-4), 253-272

The tree property on a countable segment of successors of singular cardinals

Authors: Mohammad Golshani, Yair Hayut

Abstract: Starting from the existence of many supercompact cardinals, we construct a model of ZFC in which the tree property holds at a countable segment of successor of singular cardinals. Starting from the existence of many supercompact cardinals, we construct a model of ZFC in which the tree property holds at a countable segment of successor of singular cardinals. △ Less

Submitted 3 March, 2017; v1 submitted 9 December, 2015; originally announced December 2015.

Magidor cardinals

Authors: Shimon Garti, Yair Hayut

Abstract: We define Magidor cardinals as Jónsson cardinals upon replacing colorings of finite subsets by colorings of $\aleph_0$-bounded subsets. Unlike Jónsson cardinals which appear at some low level of large cardinals, we prove the consistency of having quite large cardinals along with the fact that no Magidor cardinal exists. We define Magidor cardinals as Jónsson cardinals upon replacing colorings of finite subsets by colorings of $\aleph_0$-bounded subsets. Unlike Jónsson cardinals which appear at some low level of large cardinals, we prove the consistency of having quite large cardinals along with the fact that no Magidor cardinal exists. △ Less

Submitted 24 October, 2017; v1 submitted 20 August, 2015; originally announced August 2015.

MSC Class: 03E55

Journal ref: Journal of the Mathematical Society of Japan, vol. 70, no. 1. (2018), pp. 1-23

On Foreman's maximality principle

Authors: Mohammad Golshani, Yair Hayut

Abstract: 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 card… ▽ More 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. △ Less

Submitted 4 April, 2016; v1 submitted 26 February, 2015; originally announced February 2015.

Comments: The proof of Lemma 6.3 has changed, and the large cardinal assumption used in earlier version is reduced

Restrictions on Forcings That Change Cofinalities

Authors: Yair Hayut, Asaf Karagila

Abstract: In this paper we investigate some properties of forcing which can be considered "nice" in the context of singularizing regular cardinals to have an uncountable cofinality. We show that such forcing which changes cofinality of a regular cardinal, cannot be too nice and must cause some "damage" to the structure of cardinals and stationary sets. As a consequence there is no analogue to the Prikry for… ▽ More In this paper we investigate some properties of forcing which can be considered "nice" in the context of singularizing regular cardinals to have an uncountable cofinality. We show that such forcing which changes cofinality of a regular cardinal, cannot be too nice and must cause some "damage" to the structure of cardinals and stationary sets. As a consequence there is no analogue to the Prikry forcing, in terms of "nice" properties, when changing cofinalities to be uncountable. △ Less

Submitted 28 July, 2015; v1 submitted 7 February, 2015; originally announced February 2015.

Comments: 8 pages; post-refereeing version

MSC Class: Primary 03E35; Secondary 03E55

Journal ref: Arch. Math. Logic (2016) 55: 373