Forcing properties of ideals of closed sets

DOI10.2178/JSL/1309952535zbMATH Open1245.03076arXiv1001.2819OpenAlexW2030172816MaRDI QIDQ3173542FDOQ3173542

Authors: Marcin Sabok, Jindřich Zapletal 

Publication date: 10 October 2011

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

Abstract: With every $sigma$-ideal $I$ on a Polish space we associate the $sigma$-ideal $I^{*}$ generated by the closed sets in $I$. We study the forcing notions of Borel sets modulo the respective $sigma$-ideals $I$ and $I^{*}$ 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.

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

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

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)

Cites Work

• Closed measure zero sets
• Covering analytic sets by families of closed set
• Forcing idealized
• Preserving P-points in definable forcing
• Decomposing Borel sets and functions and the structure of Baire class 1 functions
• Title not available (Why is that?)

Cited In (19)

• Title not available (Why is that?)
• On Mazurkiewicz's sets, thin \(\sigma\)-ideals of compact sets and the space of probability measures on the rationals
• Determinacy and regularity properties for idealized forcings
• Hypergraphs and proper forcing
• On Boolean algebras related to \(\sigma\)-ideals generated by compact sets
• Forcings with ideals and simple forcing notions
• On Borel mappings and \(\sigma\)-ideals generated by closed sets
• On countably perfectly meager and countably perfectly null sets
• Note on Borel mappings and dimension
• Forcing with quotients
• \(\sigma \)-continuity and related forcings
• The ultrafilter and almost disjointness numbers
• On Borel maps, calibrated ${\ensuremath {\sigma }}$-ideals, and homogeneity
• Topological representations
• 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
• On fields and ideals connected with notions of forcing
• Dimension theory and forcing
• Extendability to Marczewski-Burstin countably representable ideals

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)