Abstract
We prove that any suitable generalization of Laver forcing to the space κκ, for uncountable regular κ, necessarily adds a Cohen κ-real. We also study a dichotomy and an ideal naturally related to generalized Laver forcing. Using this dichotomy, we prove the following stronger result: if κ<κ = κ, then every <κ-distributive tree forcing on κκ adding a dominating κ-real which is the image of the generic under a continuous function in the ground model, adds a Cohen κ-real. This is a contribution to the study of generalized Baire spaces and answers a question from [1].
Similar content being viewed by others
References
J. Brendle, A. Brooke-Taylor, S.-D. Friedman and D. C. Montoya, Cichoń’s diagram for uncountable cardinals, Israel Journal of Mathematics 225 (2018), 959–1010.
M. Dečo and M. Repický, Strongly dominating sets of reals, Archive for Mathematical Logic 52 (2013), 827–846.
S.-D. Friedman, T. Hyttinen and V. Kulikov, Generalized descriptive set theory and classification theory, Memoirs of the American Mathematical Society 230 (2014).
S.-D. Friedman, Y. Khomskii and V. Kulikov, Regularity properties on the generalized reals, Annals of Pure and Applied Logic 167 (2016), 408–430.
M. Goldstern, M. Repický, S. Shelah and O. Spinas, On tree ideals, Proceedings of the American Mathematical Society 123 (1995), 1573–1581.
T. Jech, Set Theory, Springer Monographs in Mathematics, Springer, Berlin, 2003.
A. Kanamori, The Higher Infinite. Large Cardinals in Set Theory From Their Beginnings, Springer Monographs in Mathematics, Springer, Berlin, 2003.
A. S. Kechris, On a notion of smallness for subsets of the Baire space, Transactions of the American Mathematical Society 229 (1977), 191–207.
Y. Khomskii, Filter-Laver measurability, Topology and its Applications 228 (2017), 208–221.
Y. Khomskii, G. Laguzzi, B. Löwe and I. Sharankou, Questions on generalised Baire spaces, Mathematical Logic Quarterly 62 (2016), 439–456.
G. Labedzki and M. Repický, Hechler reals, Journal of Symbolic Logic 60 (1995), 444–458.
P. Lücke, L. Motto Ros and P. Schlicht, The Hurewicz dichotomy for generalized Baire spaces, Israel Journal of Mathematics 216 (2016), 973–1022.
H. Mildenberger and S. Shelah, A version of κ-Miller forcing, Archive for Mathematical Logic 59 (2020), 879–892.
P. Schlicht, Perfect subsets of generalized Baire spaces and long games, Journal of Symbolic Logic 82 (2017), 1317–1355.
J. Zapletal, Descriptive set theory and definable forcing, Memoirs of the American Mathematical Society 167 (2004).
Acknowledgments
We would like to thank Hugh Woodin and Martin Goldstern for useful discussion and advice, and the anonymous referee for his/her careful reading and helpful suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
This project was partially supported by the Isaac Newton Institute for Mathematical Sciences in the programme Mathematical, Foundational and Computational Aspects of the Higher Infinite (HIF) funded by EPSRC grant EP/K032208/1.
Supported by the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 706219 (REGPROP).
Supported by the ÖAW Doc fellowship, and the Austrian Science Fund (FWF) under International Project number I1921.
Supported by the German Research Foundation (DFG) under Grant SP 683/4-1, and the Austrian Science Fund (FWF) under International Project numbers I4039 and Y1012.
Rights and permissions
About this article
Cite this article
Khomskii, Y., Koelbing, M., Laguzzi, G. et al. Laver trees in the generalized Baire space. Isr. J. Math. 255, 599–620 (2023). https://doi.org/10.1007/s11856-022-2465-5
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11856-022-2465-5