English

Borel equivalence relations induced by actions of tsi Polish groups

Logic 2021-08-02 v1

Abstract

We study Borel equivalence relations induced by Borel actions of tsi Polish groups on standard Borel spaces. We characterize when such an equivalence relation admits classification by countable structures using a variant of the G0\mathbb G_0-dichotomy. In particular, we find a class that serves as a base for non-classification by countable structures for these equivalence relations under Borel reducibility. We use this characterization together with the result of [B. D. Miller, to appear in the Journal of Mathematical Logic] to show that if such an equivalence relation admits classification by countable structures but it is not essentially countable, then the equivalence relation E0N=E3{\mathbb E}^{\mathbb N}_0=\mathbb E_3 Borel reduces to it.

Keywords

Cite

@article{arxiv.2107.14439,
  title  = {Borel equivalence relations induced by actions of tsi Polish groups},
  author = {Jan Grebík},
  journal= {arXiv preprint arXiv:2107.14439},
  year   = {2021}
}