¿Existe un ejemplo de un forzamiento ccc muy apropiado que no sea equivalente al forzamiento de Cohen?
Respuesta
¿Demasiados anuncios?
La respuesta a su pregunta es sí, y se deduce del siguiente artículo de Koppelberg y Shelah Las subálgebras de Cohen no necesitan ser las álgebras de Cohen .
En este artículo, se muestra, para cada$\kappa \geq \aleph_2,$ existe una subálgebra completa no Cohen de$Add(\omega, \kappa)$.
Esta subálgebra, es ccc y fuertemente apropiada, como una proyección del forzamiento de Cohen, pero no es isomórfica al forzamiento de Cohen.
