Forcing properties of ideals of closed sets

DOI10.2178/JSL/1309952535MaRDI QIDQ3173542zbMATH OpenOpenAlexFDO

Authors Marcin Sabok, Jindřich Zapletal

Publication date 10 October 2011

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

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

zbMATH Keywords

forcingidealsKatětov order

Mathematics Subject Classification ID

Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Descriptive set theory (03E15) Other aspects of forcing and Boolean-valued models (03E40) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) Classification of real functions; Baire classification of sets and functions (26A21)

Abstract: With every $sigma$-ideal $I$ on a Polish space we associate the $sigma$-ideal $I^{\ast }$ generated by the closed sets in $I$. We study the forcing notions of Borel sets modulo the respective $sigma$-ideals $I$ and $I^{\ast }$ and find connections between their forcing properties. To this end, we associate to a $sigma$-ideal on a Polish space an ideal on a countable set and show how forcing properties of the forcing depend on combinatorial properties of the ideal. For $sigma$-ideals generated by closed sets we also study the degrees of reals added in the forcing extensions. Among corollaries of our results, we get necessary and sufficient conditions for a $sigma$-ideal $I$ generated by closed sets, under which every Borel function can be restricted to an $I$-positive Borel set on which it is either 1-1 or constant.

Recommendations

• On Borel mappings and \(\sigma\)-ideals generated by closed sets
• Forcing, games and families of closed sets
• scientific article; zbMATH DE number 2185227
• Ideals without ccc
• scientific article; zbMATH DE number 1066930

Cites work

• scientific article; zbMATH DE number 1444005 (Why is no real title available?)
• Closed measure zero sets
• Covering analytic sets by families of closed set
• Decomposing Borel sets and functions and the structure of Baire class 1 functions
• Forcing idealized
• Preserving P-points in definable forcing

Cited in

(20)

• Topological representations
• Forcing with quotients
• Hypergraphs and proper forcing
• Extendability to Marczewski-Burstin countably representable ideals
• Forcing, games and families of closed sets
• The ultrafilter and almost disjointness numbers
• On Boolean algebras related to \(\sigma\)-ideals generated by compact sets
• On Borel maps, calibrated \(\sigma\)-ideals, and homogeneity
• Determinacy and regularity properties for idealized forcings
• On Borel mappings and \(\sigma\)-ideals generated by closed sets
• On Mazurkiewicz's sets, thin \(\sigma\)-ideals of compact sets and the space of probability measures on the rationals
• Note on Borel mappings and dimension
• Dimension theory and forcing
• Forcings with ideals and simple forcing notions
• On combinatorial properties of Borel generated \(\sigma \)-ideals related to the property \(\operatorname {(P)}\)
• Ideals of nowhere dense sets in some topologies on positive integers
• \(\sigma \)-continuity and related forcings
• scientific article; zbMATH DE number 2185227 (Why is no real title available?)
• On fields and ideals connected with notions of forcing
• On countably perfectly meager and countably perfectly null sets

This page was built for publication: Forcing properties of ideals of closed sets

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