Partition properties of $ω_1$ compatible with CH
Tom 152 / 1997
Fundamenta Mathematicae 152 (1997), 165-181 DOI: 10.4064/fm-152-2-165-181
A combinatorial statement concerning ideals of countable subsets of ω is introduced and proved to be consistent with the Continuum Hypothesis. This statement implies the Suslin Hypothesis, that all (ω, ω*)-gaps are Hausdorff, and that every coherent sequence on ω either almost includes or is orthogonal to some uncountable subset of ω.