Forcing with quotients

DOI10.1007/S00153-008-0104-4MaRDI QIDQ953280zbMATHOpenAlexFDO

Authors Jindřich Zapletal, Michael Hrušák

Publication date 17 November 2008

Published in Archive for Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

Polish spaceproper forcingBorel setquotient forcingsigma-idealtrace idealcontinuous reading of namesKatetov order

Mathematics Subject Classification ID

Descriptive set theory (03E15) Other aspects of forcing and Boolean-valued models (03E40) Cardinal characteristics of the continuum (03E17)

Abstract: We study an extensive connection between factor forcings of Borel subsets of Polish spaces modulo a sigma-ideal, and factor forcings of subsets of countable sets modulo an ideal.

Recommendations

• \(\sigma \)-continuity and related forcings
• A base-matrix lemma for sets of rationals modulo nowhere dense sets
• Forcing properties of ideals of closed sets
• Preserving σ-ideals
• Quotients of strongly proper forcings and guessing models

Cites work

• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• A very discontinuous Borel function
• Analytic Hausdorff gaps. II: The density zero ideal
• Analytic Ideals
• Analytic ideals and their applications
• Analytic quotients: theory of liftings for quotients over analytic ideals on the integers
• Combinatorics of dense subsets of the rationals
• Decomposing Baire functions
• Decomposing Borel sets and functions and the structure of Baire class 1 functions
• Descriptive set theory and definable forcing
• Forcing idealized
• Forcing indestructibility of MAD families
• Four and more
• On Certain Boolean Algebras P(ω)/I
• On relatively analytic and Borel subsets
• Set Theory
• The Structure of σ-Ideals of Compact Sets

Cited in

(24)

• Katětov order on Borel ideals
• WAYS OF DESTRUCTION
• MAD families and strategically bounding forcings
• Generic existence of MAD families
• Maximal chains in positive subfamilies of \(P(\omega )\)
• Countable Fréchet Boolean groups: An independence result
• The ultrafilter and almost disjointness numbers
• Mathias-Prikry and Laver type forcing; summable ideals, coideals, and \(+\)-selective filters
• Katětov order on \(\mathsf{MAD}\) families
• scientific article; zbMATH DE number 5130974 (Why is no real title available?)
• Forcing by non-scattered sets
• Indestructibility of ideals and MAD families
• Towers in filters, cardinal invariants, and Luzin type families
• A base-matrix lemma for sets of rationals modulo nowhere dense sets
• Invariance properties of almost disjoint families
• Ramsey type properties of ideals
• Restricted mad families
• Forcing with copies of the Rado and Henson graphs
• There is a +-Ramsey \(\mathsf{MAD}\) family
• Malykhin's problem
• On the extendability to \(\mathbf{\Pi}_3^0\) ideals and Katětov order
• \(\sigma \)-continuity and related forcings
• Covering properties of ideals
• HL ideals and Sacks indestructible ultrafilters

This page was built for publication: Forcing with quotients

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