Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · math/9909115

Sweet & Sour and other flavours of ccc forcing notions

Andrzej Roslanowski·Saharon Shelah
View original source ↗Read source document ↗Export metadata ↓

Abstract

The present paper has three themes. First, we continue the investigations started in Judah, Roslanowski and Shelah \math.LO/9310224 and Roslanowski and Shelah math.LO/9807172, math.LO/9703222, and we investigate the method of norms on possibilities in the context of ccc forcing notions, getting a number of constructions of nicely definable ccc forcings. The second theme of the paper is a part of the general program ``how special are random and Cohen forcing notions (or: the respective ideals)''. Shelah math.LO/9303208 shows that the two forcing notions may occupy special positions in the realm of nicely definable forcing notions. In this realm we may classify forcing notions using the methods of Shelah [Sh:630] (math.LO/9712283), [Sh:669] and, for example, declare that very Souslin (or generally omega-nw-nep) ccc forcing notions are really nice. Both the Cohen forcing notion and the random forcing notion and their FS iterations (and nice subforcings) are all ccc omega-nw-nep, and Problem 4.24 of math.LO/9906113 asked if we have more examples. It occurs that our method relatively easily results in very Souslin ccc forcing notions. The third theme is Sweet & Sour, and it is related to one of the most striking differences between the random and the Cohen forcing notions that appears when we consider the respective regularity properties of projective sets: the Lebesgue measurability of Sigma^1_3 sets implies aleph_1 is inaccessible in L, while one can construct (in ZFC) a forcing notion P which forces ``projective subsets of R have the Baire property'' (see Shelah [Sh:176]).

Explore related subjects

math.LO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Andrzej Roslanowski, Saharon Shelah. 2001-12-20. Sweet & Sour and other flavours of ccc forcing notions. https://arxiv.org/abs/math/9909115

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Amenable C-sequences and ineffability in L

We give a relative consistency counterexample to the conjecture of Inamdar and Rinot that every regular uncountable cardinal carrying no amenable C-sequence is ineffable in the constructible universe L. The existence of a $Π^2_1$-indescribable cardinal is equiconsistent with the existence of a $Π^2_1$-indescribable cardinal carrying no amenable C-sequence and not ineffable in L. For every ground-model C-sequence on a weakly compact cardinal $κ$, generalized Hechler forcing adds a club D with $D\capβ\subseteq C_β$ at stationarily many inaccessible indices. We use this capture theorem in an iteration of length $κ^+$ after Johnstone's local lottery preparation.

math.LO↗
arXiv2026

Omitting Types for Infinitary Real-Valued Logic: A Topological Perspective

For countable vocabularies, we extend the omitting types theorem for countable fragments of infinitary logic to Keisler's general real-valued structures by proving that the space of Henkin types of each such fragment is Čech-complete. The structures interpret function symbols arbitrarily and predicate symbols by bounded real-valued functions, while each formula carries a bound of its own. This extends the setting of Eagle's theorem from metric structures with a prescribed master metric to general structures whose vocabulary prescribes the sorts and bounds of the symbols. Following Keisler and Miller's treatment of logic without equality, we build models from closed terms. Morley's Baire category method then gives every satisfiable theory on a countable fragment a model with countable sorts omitting any countable family of types whose closed-term instances have empty interior in the space of Henkin types satisfying the theory.

math.LO↗
arXiv2026

Friedman--Stanley cofinality without Borel completeness

Friedman and Stanley asked whether an invariant Borel class of countable structures must be Borel complete whenever every countable level of their hierarchy reduces to it. We construct a counterexample in one fixed countable language. The structural counterexample and its principal supporting results have been formalized in Lean~4 and it is available on github.

math.LO↗