English

Equivalence Relations and Determinacy

Logic 2020-03-05 v1

Abstract

We introduce the notion of (Γ,E)(\Gamma,E)-determinacy for Γ\Gamma a pointclass and EE an equivalence relation on a Polish space XX. A case of particular interest is the case when E=EGE=E_G is the (left) shift-action of GG on SGS^G where S=2={0,1}S=2=\{0,1\} or S=ωS=\omega. We show that for all shift actions by countable groups GG, and any "reasonable" pointclass Γ\Gamma, that (Γ,EG)(\Gamma,E_G)-determinacy implies Γ\Gamma-determinacy. We also prove a corresponding result when EE is a subshift of finite type of the shift map on 2Z2^\mathbb{Z}.

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

R2 v1 2026-06-23T14:04:05.358Z