Haar-positive closed subsets of Haar-positive analytic sets
Abstract
We show that every non-Haar-null analytic subset of $\mathbb{Z}^\omega$ contains a non-Haar-null closed subset. Moreover, we also prove that the codes of Haar-null analytic subsets, and, consequently, closed Haar-null sets in the Effros Borel space of $\mathbb{Z}^\omega$ form a $\mathbf{\Delta}^1_2$ set.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2020
- DOI:
- 10.48550/arXiv.2003.06854
- arXiv:
- arXiv:2003.06854
- Bibcode:
- 2020arXiv200306854E
- Keywords:
-
- Mathematics - Logic;
- Mathematics - Group Theory