Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2020
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2004.00174 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910022367182848 |
|---|---|
| author | Day, Adam Marks, Andrew |
| author_facet | Day, Adam Marks, Andrew |
| contents | We consider an old question of Slaman and Steel: whether Turing equivalence is an increasing union of Borel equivalence relations none of which contain a uniformly computable infinite sequence. We show this question is deeply connected to problems surrounding Martin's conjecture, and also in countable Borel equivalence relations. In particular, if Slaman and Steel's question has a positive answer, it implies there is a universal countable Borel equivalence which is not uniformly universal, and that there is a $(\equiv_T,\equiv_m)$-invariant function which is not uniformly invariant on any pointed perfect set. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2004_00174 |
| institution | arXiv |
| publishDate | 2020 |
| record_format | arxiv |
| spellingShingle | On a question of Slaman and Steel Day, Adam Marks, Andrew Logic We consider an old question of Slaman and Steel: whether Turing equivalence is an increasing union of Borel equivalence relations none of which contain a uniformly computable infinite sequence. We show this question is deeply connected to problems surrounding Martin's conjecture, and also in countable Borel equivalence relations. In particular, if Slaman and Steel's question has a positive answer, it implies there is a universal countable Borel equivalence which is not uniformly universal, and that there is a $(\equiv_T,\equiv_m)$-invariant function which is not uniformly invariant on any pointed perfect set. |
| title | On a question of Slaman and Steel |
| topic | Logic |
| url | https://arxiv.org/abs/2004.00174 |