Universally Baire sets in $2^{\kappa}$
Abstract
We generalize the basic theory of universally Baire sets of $2^\omega$ to a theory of universally Baire subsets of $2^\kappa$. We show that the fundamental characterizations of the property of being universally Baire have natural generalizations that can be formulated also for subsets of $2^\kappa$, in particular we provide four equivalent uniform definitions in the parameter $\kappa$ (for $\kappa$ an infinite cardinal) characterizing for each such $\kappa$ the class of universally Baire subsets of $2^\kappa$. For $\kappa=\omega$, these definitions bring us back to the original notion of universally Baire sets of reals given by Feng, Magidor and Woodin [2].
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2024
- DOI:
- arXiv:
- arXiv:2412.16546
- Bibcode:
- 2024arXiv241216546I
- Keywords:
-
- Mathematics - Logic;
- 03E57 (Primary) 03E15;
- 03E55 (Secondary)