Equivalence Relations and Determinacy
Abstract
We introduce the notion of $(\Gamma,E)$-determinacy for $\Gamma$ a pointclass and $E$ an equivalence relation on a Polish space $X$. A case of particular interest is the case when $E=E_G$ is the (left) shift-action of $G$ on $S^G$ where $S=2=\{0,1\}$ or $S=\omega$. We show that for all shift actions by countable groups $G$, and any "reasonable" pointclass $\Gamma$, that $(\Gamma,E_G)$-determinacy implies $\Gamma$-determinacy. We also prove a corresponding result when $E$ is a subshift of finite type of the shift map on $2^\mathbb{Z}$.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2020
- DOI:
- 10.48550/arXiv.2003.02238
- arXiv:
- arXiv:2003.02238
- Bibcode:
- 2020arXiv200302238C
- Keywords:
-
- Mathematics - Logic;
- 03E15;
- 03E60
- E-Print:
- 13 pages