Abstract
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) |
---|---|
Pages (from-to) | 25-32 |
Number of pages | 8 |
Journal | Mathematical Proceedings of the Cambridge Philosophical Society |
Volume | 95 |
Issue number | 1 |
DOIs | |
State | Published - Jan 1984 |