Saccharinity

DOI10.2178/JSL/1318338844MaRDI QIDQ3107349zbMATH OpenOpenAlexFDO

Authors Jakob Kellner, S. Shelah

Publication date 23 December 2011

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0511330

zbMATH Keywords

finite splittinglim-sup tree forcingsmeasurability of definable sets

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40)

Abstract: We present a method to iterate finitely splitting lim-sup tree forcings along non-wellfounded linear orders. We apply this method to construct a forcing (without using an inaccessible or amalgamation) that makes all definable sets of reals measurable with respect to a certain (non-ccc) ideal.

Recommendations

• A mathematical characterization of monosaccharides
• Hygienic resugaring of compositional desugaring
• scientific article; zbMATH DE number 1966543
• Maple Sugar. A progressive initiation of Maple
• Counting glycans revisited
• Sweetest taboo processes
• Carbohydrate-protein interactions: advances and challenges

Cites work

• A complete Boolean algebra that has no proper atomless complete subalgebra
• A model of set-theory in which every set of reals is Lebesgue measurable
• Can you take Solovay's inaccessible away?
• Forcing idealized
• On non-wellfounded iterations of the perfect set forcing
• Silver Measurability and its relation to other regularity properties
• Sweet \& sour and other flavours of ccc forcing notions
• Two cardinal invariants of the continuum \(({\mathfrak d} <{\mathfrak a})\) and FS linearly ordered iterated forcing

Cited in

(4)

• Maple Sugar. A progressive initiation of Maple
• On \(\mathrm{CON}(\mathfrak{d}_\lambda > \mathrm{cov}_\lambda(\mathrm{meagre}))\)
• How much sweetness is there in the universe?
• Inner mantles and iterated HOD

This page was built for publication: Saccharinity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3107349)