Power set modulo small, the singular of uncountable cofinality

Research output: Contribution to journalArticlepeer-review

5 Scopus citations

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 languageEnglish
Pages (from-to)226-242
Number of pages17
JournalJournal of Symbolic Logic
Volume72
Issue number1
DOIs
StatePublished - 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