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].
| Lingua originale | Inglese |
|---|---|
| pagine (da-a) | 599-620 |
| Numero di pagine | 22 |
| Rivista | Israel Journal of Mathematics |
| Volume | 255 |
| Numero di pubblicazione | 2 |
| DOI | |
| Stato di pubblicazione | Pubblicato - giu 2023 |
| Pubblicato esternamente | Sì |
Fingerprint
Entra nei temi di ricerca di 'Laver trees in the generalized Baire space'. Insieme formano una fingerprint unica.Cita questo
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver