In these notes we present the method introduced by Neeman of generalized side conditions with two types of models. We then discuss some applications: the Friedman-Mitchell poset for adding a club in \omega_2 with finite conditions, Koszmider's forcing construction of a strong chain of length \omega_2 of functions from \omega_1 to \omega_1, and the Baumgartner-Shelah forcing construction of a thin very tall superatomic Boolean algebra.
Proper Forcing Remastered
Venturi G;
2013-01-01
Abstract
In these notes we present the method introduced by Neeman of generalized side conditions with two types of models. We then discuss some applications: the Friedman-Mitchell poset for adding a club in \omega_2 with finite conditions, Koszmider's forcing construction of a strong chain of length \omega_2 of functions from \omega_1 to \omega_1, and the Baumgartner-Shelah forcing construction of a thin very tall superatomic Boolean algebra.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
1110.0610.pdf
accesso aperto
Tipologia:
Documento in Post-print
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
304.04 kB
Formato
Adobe PDF
|
304.04 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
