Universal sets for ideals

We consider the notion of universal sets for ideals. We show that there exist universal sets of minimal Borel complexity for classical ideals like the null subsets of 2ω and the 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 E, the σ-ideal generated by closed null subsets of 2ω, and for some ideals connected with forcing notions: the Kσ subsets of ωω and the Laver ideal. We also consider Fubini products of ideals and show that there are Σ03 universal sets for N[symbol]M and M[symbol]N.

---

Opracowanie rekordu w ramach umowy 509/P-DUN/2018 ze środków MNiSW przeznaczonych na działalność upowszechniającą naukę (2019).