When the continuum has cofinality \(\omega _ 1\) (Q1071015)

The main result of the paper is that it is consistent with CH that every complete Boolean algebra of cardinality less or equal the continuum is isomorphic to \({\mathcal P}(\omega)/{\mathcal I}\), where \({\mathcal I}\) is an \(\omega_ 1\)-generated ideal. To prove this, the authors construct, by means of iterated forcing, a model of set theory in which the continuum has cofinality \(\omega_ 1\). In the same model, for any nontrivial CCC- \(\sigma\)-ideal \({\mathcal I}\) of the Borel sets, there is a \({\mathfrak c}\)- \({\mathcal I}\)-Luzin set. So, the existence of generalized Luzin sets does not imply Martin's Axiom. This answers a problem stated by Fremlin. An open question concerning the generalization of this result is stated.