Reflecting Lindelöf and ?1-sequences

We deal with a conjectured dichotomy for compact Hausdorff spaces: each such space contains a non-trivial converging ?-sequence or a non-trivial converging ?1-sequence. We establish that this dichotomy holds in a variety of models; these include the Cohen models, the random real models and any model obtained from a model of CH by an iteration of...