Power set modulo small, the singular of uncountable cofinality
Abstract
Let mu be singular of uncountable cofinality. If mu>2cf(mu), we prove that in P=([mu]mu,supseteq) as a forcing notion we have a natural complete embedding of Levy(aleph0, mu+) (so P collapses mu+ to aleph0) and even Levy(aleph0, UJbdkappa(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 <2cf(mu) we have weaker results.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.