Equivalence Relations and Determinacy
Logic
2020-03-05 v1
Abstract
We introduce the notion of -determinacy for a pointclass and an equivalence relation on a Polish space . A case of particular interest is the case when is the (left) shift-action of on where or . We show that for all shift actions by countable groups , and any "reasonable" pointclass , that -determinacy implies -determinacy. We also prove a corresponding result when is a subshift of finite type of the shift map on .
Keywords
Cite
@article{arxiv.2003.02238,
title = {Equivalence Relations and Determinacy},
author = {Logan Crone and Lior Fishman and Stephen Jackson},
journal= {arXiv preprint arXiv:2003.02238},
year = {2020}
}
Comments
13 pages