Skip to main navigation Skip to search Skip to main content

Laver trees in the generalized Baire space

Research output: Contribution to journalArticlepeer-review

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].

Original languageEnglish
Pages (from-to)599-620
Number of pages22
JournalIsrael Journal of Mathematics
Volume255
Issue number2
DOIs
Publication statusPublished - Jun 2023
Externally publishedYes

Fingerprint

Dive into the research topics of 'Laver trees in the generalized Baire space'. Together they form a unique fingerprint.

Cite this