TY - JOUR
T1 - Laver trees in the generalized Baire space
AU - Khomskii, Yurii
AU - Koelbing, Marlene
AU - Laguzzi, Giorgio
AU - Wohofsky, Wolfgang
N1 - Publisher Copyright:
© 2022, The Hebrew University of Jerusalem.
PY - 2023/6
Y1 - 2023/6
N2 - 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].
AB - 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].
UR - http://www.scopus.com/inward/record.url?scp=85146008881&partnerID=8YFLogxK
U2 - 10.1007/s11856-022-2465-5
DO - 10.1007/s11856-022-2465-5
M3 - Article
SN - 0021-2172
VL - 255
SP - 599
EP - 620
JO - Israel Journal of Mathematics
JF - Israel Journal of Mathematics
IS - 2
ER -