Reflection implies the SCH

dc.creatorShelah, Saharon
dc.date2004-04-19
dc.date2007-09-30
dc.date.accessioned2026-07-07T08:32:46Z
dc.date.available2026-07-07T08:32:46Z
dc.descriptionWe 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.
dc.identifierhttps://arxiv.org/abs/math/0404323
dc.identifierhttp://arxiv.org/abs/math/0404323
dc.identifierFund. Math. 198 No. 2 (2008) 95--111
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/138898
dc.subjectLogic
dc.titleReflection implies the SCH
dc.typetext

Files

Collections