Back to Search
Start Over
On the Computational Content of the Theory of Borel Equivalence Relations
- Publication Year :
- 2021
- Publisher :
- Mathematisches Forschungsinstitut Oberwolfach, 2021.
-
Abstract
- This preprint offers computational insights into the theory of Borel equivalence relations. Specifically, we classify equivalence relations on the Cantor space up to computable reductions, i.e., reductions induced by Turing functionals. The presented results correspond to three main research focuses: (i) the poset of degrees of equivalence relations on reals under computable reducibility; (ii) the complexity of the equivalence relations generated by computability-theoretic reducibilities $(\leqslant_T , \leqslant_{tt} , \leqslant_m , \leqslant_1 )$, (iii) the effectivization of the notion of hyperfiniteness.<br />Oberwolfach Preprints;2021-06
Details
- Language :
- English
- Database :
- OpenAIRE
- Accession number :
- edsair.doi...........3c2d9bf12917148827e1ecb539457c46
- Full Text :
- https://doi.org/10.14760/owp-2021-06