Universal sets for ideals

DOI10.4064/BA8146-5-2018MaRDI QIDQ4614166zbMATH OpenOpenAlexWikidataFDO

Authors Aleksander Cieślak, Marcin Michalski

Publication date 30 January 2019

Published in Bulletin Polish Acad. Sci. Math. (Search for Journal in Brave)

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

zbMATH Keywords

Polish spaceBorel complexityabsoluteuniversal setFubini productBorel rank

Mathematics Subject Classification ID

Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) Generic absoluteness and forcing axioms (03E57)

Abstract: In this paper we consider a notion of universal sets for ideals. We show that there exist universal sets of minimal Borel complexity for classic ideals like null subsets of $2^{o}mega$ and meager subsets of any Polish space, and demonstrate that the existence of such sets is helpful in establishing some facts about the real line in generic extensions. We also construct universal sets for $mathcalE$ - the $sigma$-ideal generated by closed null subsets of $2^{o}mega$, and for some ideals connected with forcing notions: $mathcal{K}_{s}igma$ subsets of $omeg{a}^{omega}$ and the Laver ideal. We also consider Fubini products of ideals and show that there are $Sigm{a}_3^0$ universal sets for $mathcalNotimesmathcalM$ and $mathcalMotimesmathcalN$.

Recommendations

• scientific article; zbMATH DE number 5984007
• Universal submeasures and ideals
• On a construction of universally small sets.
• Universally meager sets
• Universally measurable sets in generic extensions

Cites work

• scientific article; zbMATH DE number 3943806 (Why is no real title available?)
• scientific article; zbMATH DE number 558630 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 1166155 (Why is no real title available?)
• scientific article; zbMATH DE number 787541 (Why is no real title available?)
• scientific article; zbMATH DE number 806305 (Why is no real title available?)
• Cofinalities of Marczewski-like ideals
• Descriptive set theory and definable forcing
• Fubini properties of ideals
• Generalized Luzin sets
• Ideals with bases of unbounded Borel complexity
• Measure-category properties of Borel plane sets and Borel functions of two variables
• On ideals of subsets of the plane and on Cohen reals
• Sacks forcing, Laver forcing, and Martin's axiom
• Set Theory
• Uniquely universal sets
• Uniquely universal sets in \(\mathbb{R} \times \omega\) and \([0, 1] \times \omega\)

Cited in

(12)

• Ideals with bases of unbounded Borel complexity
• The cardinal coefficients of the ideal \(\mathcal {I}_{f}\)
• Universal forcing notions and ideals
• Ideals with Smital properties
• Universal submeasures and ideals
• Constructing universally small subsets of a given packing index in Polish groups
• On a construction of universally small sets.
• Trichotomies for ideals of compact sets
• Ideals and their generic ultrafilters
• scientific article; zbMATH DE number 3867642 (Why is no real title available?)
• Norms on Possibilities II: More CCC Ideals on 2 ω
• Universally measurable sets in generic extensions

This page was built for publication: Universal sets for ideals

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