It is unknown whether there can exist a family of functions from ω1 into ω of size less than 2N1 that dominates all functions fromω1 Intoω. We show that there is no such family if the continuum is real-valued measurable, and that the existence of such a family has consequences for cardinal arithmetic, and is related to large cardinal axioms.
|Original language||English (US)|
|Number of pages||8|
|Journal||Mathematical Proceedings of the Cambridge Philosophical Society|
|State||Published - Jan 1984|