Kurepa trees and the failure of the Galvin property. (English) Zbl 07640187
Summary: We force the existence of a non-trivial \(\kappa\)-complete ultrafilter over \(\kappa\) which fails to satisfy the Galvin property. This answers a question asked by Benhamou and Gitik [Ann. Pure Appl. Logic 173 (2022), Paper No. 103107].
References:
| [1] | Abraham, U., On the intersection of closed unbounded sets, J. Symbolic Logic, 180-189 (1986) · Zbl 0633.03042 · doi:10.2307/2273954 |
| [2] | Baumgartner, J. E., Infinite and finite sets (Colloq., Keszthely, 1973; dedicated to P. Erd\H{o}s on his 60th birthday), Vol. I. Weak saturation properties of ideals, Colloq. Math. Soc. J\'{a}nos Bolyai, Vol. 10, 137-158 (1975), North-Holland, Amsterdam · Zbl 0316.02072 |
| [3] | Ezekiel Ben Buzi, The book of Ezekiel, Prophets, 586 B.C.E. |
| [4] | Tom Benhamou, Shimon Garti, and Alejandro Poveda, Negating the Galvin property, Preprint, 2112.13373, 2021. |
| [5] | Benhamou, Tom, Intermediate models of Magidor-Radin forcing-Part II, Ann. Pure Appl. Logic, Paper No. 103107, 70 pp. (2022) · Zbl 1504.03030 · doi:10.1016/j.apal.2022.103107 |
| [6] | Cummings, James, Handbook of set theory. Vols. 1, 2, 3. Iterated forcing and elementary embeddings, 775-883 (2010), Springer, Dordrecht · Zbl 1198.03060 · doi:10.1007/978-1-4020-5764-9\_13 |
| [7] | Devlin, Keith J., Constructibility, Perspectives in Mathematical Logic, xi+425 pp. (1984), Springer-Verlag, Berlin · Zbl 1365.03005 · doi:10.1007/978-3-662-21723-8 |
| [8] | Garti, Shimon, Weak diamond and Galvin’s property, Period. Math. Hungar., 128-136 (2017) · Zbl 1399.03012 · doi:10.1007/s10998-016-0153-0 |
| [9] | Shimon Garti, Tiltan, C. R. Math. Acad. Sci. Paris 356 (2018), no. 4, 351-359. 3787522 · Zbl 1423.03163 |
| [10] | Gitik, Moti, Strange ultrafilters, Arch. Math. Logic, 35-52 (2019) · Zbl 1537.03059 · doi:10.1007/s00153-018-0620-9 |
| [11] | Hajnal, A., On some combinatorial problems involving large cardinals, Fund. Math., 39-53 (1970) · Zbl 0208.01601 · doi:10.4064/fm-69-1-39-53 |
| [12] | Kunen, Kenneth, Some applications of iterated ultrapowers in set theory, Ann. Math. Logic, 179-227 (1970) · Zbl 0236.02053 · doi:10.1016/0003-4843(70)90013-6 |
| [13] | Laver, Richard, Making the supercompactness of \(\kappa\) indestructible under \(\kappa \)-directed closed forcing, Israel J. Math., 385-388 (1978) · Zbl 0381.03039 · doi:10.1007/BF02761175 |
| [14] | L\"{u}cke, Philipp, \( \Sigma^1_1\)-definability at uncountable regular cardinals, J. Symbolic Logic, 1011-1046 (2012) · Zbl 1257.03080 · doi:10.2178/jsl/1344862172 |
| [15] | Williams, Neil H., Combinatorial set theory, Studies in Logic and the Foundations of Mathematics, xi+208 pp. (1977), North-Holland Publishing Co., Amsterdam · Zbl 0362.04008 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
