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 κ
Laver trees in the generalised Baire space
giorgio laguzzi;
2022-01-01
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 κFile in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
Generalised-Laver-trees-IJM-paper-publiched version.pdf
file disponibile agli utenti autorizzati
Licenza:
Copyright dell'editore
Dimensione
345.26 kB
Formato
Adobe PDF
|
345.26 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.