Abstract
Let μ be singular of uncountable cofinality. If μ > 2 cf(μ), we prove that in ℙ = ([μ]μ, ⊇) as a forcing notion we have a natural complete embedding of Levy (N0, μ+) (so ℙ collapses μ+ to N0) and even Levy(N0, UJκbd(μ)). The "natural" means that the forcing ({p ∈ [μ]μ : p closed}, ⊇) is naturally embedded and is equivalent to the Levy algebra. Also if ℙ fails the χ-c.c. then it collapses χ to N0 (and the parallel results for the case μ > N0 is regular or of countable cofinality). Moreover we prove: for regular uncountable κ, there is a family P of bκ partitions Ā = 〈Aα : α< κ〉 of κ such that for any A ∈ [κ] κ for some 〈 Aα : α < κ 〉 ∈ P we have α <κ ⇒ |Aα∩ A| = κ.
| Original language | English |
|---|---|
| Pages (from-to) | 226-242 |
| Number of pages | 17 |
| Journal | Journal of Symbolic Logic |
| Volume | 72 |
| Issue number | 1 |
| DOIs | |
| State | Published - Mar 2007 |
Fingerprint
Dive into the research topics of 'Power set modulo small, the singular of uncountable cofinality'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver