Power set modulo small, the singular of uncountable cofinality

dc.creatorShelah, Saharon
dc.date2006-12-09
dc.date.accessioned2026-07-07T07:34:47Z
dc.date.available2026-07-07T07:34:47Z
dc.descriptionLet mu be singular of uncountable cofinality. If mu>2^{cf(mu)}, we prove that in P=([mu]^mu,supseteq) as a forcing notion we have a natural complete embedding of Levy(aleph_0, mu^+) (so P collapses mu^+ to aleph_0) and even Levy(aleph_0, U_{J^{bd}_kappa}(mu)) . The ``natural'' means that the forcing ({p in [mu]^mu :p closed}, supseteq) is naturally embedded and is equivalent to the Levy algebra. If mu <2^{cf(mu)} we have weaker results.
dc.identifierhttps://arxiv.org/abs/math/0612243
dc.identifierhttp://arxiv.org/abs/math/0612243
dc.identifierJ. Symbolic Logic 72 No. 1 (2007) 226--242
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/119892
dc.subjectLogic
dc.titlePower set modulo small, the singular of uncountable cofinality
dc.typetext

Files

Collections