Mathematics – Logic
Scientific paper
2006-12-09
Mathematics
Logic
Scientific paper
Let 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.
No associations
LandOfFree
Power set modulo small, the singular of uncountable cofinality does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Power set modulo small, the singular of uncountable cofinality, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Power set modulo small, the singular of uncountable cofinality will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-440682