Reflection implies the SCH
Abstract
We prove that, e.g., if mu >cf(mu)= aleph_0 and mu>2^{aleph_0} and every stationary family of countable subsets of mu^+ reflect in some subset of mu^+ of cardinality aleph_1, then the SCH for mu^+ (moreover, for mu^+, any scale for mu^+ has a bad stationary set of cofinality aleph_1). This answers a question of Foreman and Todorcevic who got such conclusion from the simultaneous reflection of four stationary sets.
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- April 2004
- DOI:
- 10.48550/arXiv.math/0404323
- arXiv:
- arXiv:math/0404323
- Bibcode:
- 2004math......4323S
- Keywords:
-
- Logic