Ideals without CCC
Journal of Symbolic Logic 63 (1):128-148 (1998)
| Abstract | Let I be an ideal of subsets of a Polish space X, containing all singletons and possessing a Borel basis. Assuming that I does not satisfy ccc, we consider the following conditions (B), (M) and (D). Condition (B) states that there is a disjoint family F $\subseteq$ P(X) of size c, consisting of Borel sets which are not in I. Condition (M) states that there is a Borel function f: X → X with $f^{-1}[\{x\}] \not\in$ I for each x ∈ X. Provided that X is a group and I is invariant, condition (D) states that there exist a Borel set B $\not\in$ I and a perfect set P $\subseteq$ X for which the family $\{B + x: x \in P\}$ is disjoint. The aim of the paper is to study whether the reverse implications in the chain (D) $\Rightarrow$ (M) $\Rightarrow$ (B) $\Rightarrow$ not-ccc can hold. We build a σ-ideal on the Cantor group witnessing (M) & ¬ (D) (Section 2). A modified version of that σ-ideal contains the whole space (Section 3). Some consistency results on deriving (M) from (B) for "nicely" defined ideals are established (Sections 4 and 5). We show that both ccc and (M) can fail (Theorems 1.3 and 5.6). Finally, some sharp versions of (M) for invariant ideals on Polish groups are investigated (Section 6) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJakob Kellner & Saharon Shelah (2005). Preserving Preservation. Journal of Symbolic Logic 70 (3):914 - 945.
Saharon Shelah & Juris Steprāns (2001). The Covering Numbers of Mycielski Ideals Are All Equal. Journal of Symbolic Logic 66 (2):707-718.
Jan Kraszewski (2001). Properties of Ideals on the Generalized Cantor Spaces. Journal of Symbolic Logic 66 (3):1303-1320.
Kenneth Schilling & Boško Živaljević (1997). Louveau's Theorem for the Descriptive Set Theory of Internal Sets. Journal of Symbolic Logic 62 (2):595-607.
Michael Ray Oliver (2004). Continuum-Many Boolean Algebras of the Form $\Mathcal{P}(\Omega)/\Mathcal{I}, \Mathcal{I}$ Borel. Journal of Symbolic Logic 69 (3):799 - 816.
Jacek Cichoń & Janusz Pawlikowski (1986). On Ideals of Subsets of the Plane and on Cohen Reals. Journal of Symbolic Logic 51 (3):560-569.
Joan Bagaria & Roger Bosch (2004). Solovay Models and Forcing Extensions. Journal of Symbolic Logic 69 (3):742-766.
Rvszard Frankiewicz, Saharon Shelah & Pawel Zbierski (1993). On Closed P-Sets with $\Operatorname{Ccc}$ in the Ω. Journal of Symbolic Logic 58 (4):1171 - 1176.
George Leibman (2010). The Consistency Strength of $\Mathrm{MP_{CCC}}(\Mathbb{R})$. Notre Dame Journal of Formal Logic 51 (2):181-193.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #232,628 of 549,196 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
