Zobrazeno 1 - 10
of 29
pro vyhledávání: '"YAIR HAYUT"'
Autor:
Omer Ben-Neria, Yair Hayut
Publikováno v:
Forum of Mathematics, Sigma, Vol 11 (2023)
We prove several consistency results concerning the notion of $\omega $ -strongly measurable cardinal in $\operatorname {\mathrm {HOD}}$ . In particular, we show that is it consistent, relative to a large cardinal hypothesis weaker than $o(\kappa
Externí odkaz:
https://doaj.org/article/7816d850975e41b3ace984f01ba7514d
Autor:
Yair Hayut, David Lehavi
Publikováno v:
SIAM Journal on Applied Algebra and Geometry. 7:311-344
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f12f9680cfb13436e683e81ba065bd1d
https://doi.org/10.1137/21m1445776
https://doi.org/10.1137/21m1445776
Autor:
YAIR HAYUT, MENACHEM MAGIDOR
Publikováno v:
The Journal of Symbolic Logic. 87:1111-1129
We provide a model theoretical and tree property-like characterization of $\lambda $ - $\Pi ^1_1$ -subcompactness and supercompactness. We explore the behavior of these combinatorial principles at accessible cardinals.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::22a119c7751c065085f79ca0c4cbb901
https://doi.org/10.1017/jsl.2022.11
https://doi.org/10.1017/jsl.2022.11
Publikováno v:
Periodica Mathematica Hungarica. 84:250-258
We study the Galvin property. We show that various square principles imply that the cofinality of the Galvin number is uncountable (or even greater than $$\aleph _1$$ ). We prove that the proper forcing axiom is consistent with a strong negation of t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fe9a6ccaa7e94eae35d3af32a9252fe1
https://doi.org/10.1007/s10998-021-00407-9
https://doi.org/10.1007/s10998-021-00407-9
Publikováno v:
The Journal of Symbolic Logic. 87:626-648
In this paper we study the notion of $C^{(n)}$ -supercompactness introduced by Bagaria in [3] and prove the identity crises phenomenon for such class. Specifically, we show that consistently the least supercompact is strictly below the least $C^{(1)}
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2c7b8588a0a6d99662c8f25ce65b259f
https://doi.org/10.1017/jsl.2020.32
https://doi.org/10.1017/jsl.2020.32
Autor:
Spencer Unger, Yair Hayut
Publikováno v:
The Journal of Symbolic Logic. 85:937-959
We improve the upper bound for the consistency strength of stationary reflection at successors of singular cardinals.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1046da839ba027fef9224aa6790edb93
https://doi.org/10.1017/jsl.2020.64
https://doi.org/10.1017/jsl.2020.64
Publikováno v:
The Journal of Symbolic Logic. 86:600-608
We present an alternative proof that from large cardinals, we can force the tree property at $\kappa ^+$ and $\kappa ^{++}$ simultaneously for a singular strong limit cardinal $\kappa $ . The advantage of our method is that the proof of the tree prop
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bd6b9fbdeceec89fe20fbb7914cb6597
https://doi.org/10.1017/jsl.2020.11
https://doi.org/10.1017/jsl.2020.11
Publikováno v:
Transactions of the American Mathematical Society. 373:5937-5955
ITP is a combinatorial principle that is a strengthening of the tree property. For an inaccessible cardinal κ \kappa , ITP at κ \kappa holds if and only if κ \kappa is supercompact. And just like the tree property, it can be forced to hold at acce
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::49594f9083f7ca762c94f5751d1e80c8
https://doi.org/10.1090/tran/8110
https://doi.org/10.1090/tran/8110
Autor:
Yair Hayut
Publikováno v:
Proceedings of the American Mathematical Society. 148:3129-3133
We show that if $\lambda^{
Comment: 4 pages
Comment: 4 pages
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bf4aa6236bdc796b12456e7b1f7fbff3
https://doi.org/10.1090/proc/14939
https://doi.org/10.1090/proc/14939
Autor:
Yair Hayut, Menachem Magidor
Publikováno v:
The Journal of Symbolic Logic. 84:621-631
We construct a model in which the tree property holds in ${\aleph _{\omega + 1}}$ and it is destructible under $Col\left( {\omega ,{\omega _1}} \right)$. On the other hand we discuss some cases in which the tree property is indestructible under small
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e7e80c18bf1d3735077d18673f5b057b
https://doi.org/10.1017/jsl.2019.4
https://doi.org/10.1017/jsl.2019.4