Universal sets for ideals

DOI10.4064/BA8146-5-2018zbMATH Open1420.54052arXiv1907.08323OpenAlexW3098124899WikidataQ128845823 ScholiaQ128845823MaRDI QIDQ4614166FDOQ4614166

Authors: Aleksander Cieślak, Marcin Michalski 

Publication date: 30 January 2019

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

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$.

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

Recommendations

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Set Theory
• Sacks forcing, Laver forcing, and Martin's axiom
• Cofinalities of Marczewski-like ideals
• Title not available (Why is that?)
• Descriptive set theory and definable forcing
• Uniquely universal sets
• Generalized Luzin sets
• Title not available (Why is that?)
• On ideals of subsets of the plane and on Cohen reals
• Measure-category properties of Borel plane sets and Borel functions of two variables
• Fubini properties of ideals
• Title not available (Why is that?)
• Ideals with bases of unbounded Borel complexity
• Uniquely universal sets in \(\mathbb{R} \times \omega\) and \([0, 1] \times \omega\)

Cited In (11)

• The cardinal coefficients of the ideal \(\mathcal {I}_{f}\)
• 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
• Title not available (Why is that?)
• Norms on Possibilities II: More CCC Ideals on 2 ω
• Universally measurable sets in generic extensions
• Ideals with bases of unbounded Borel complexity

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)