| Autor: |
Clemens, John D., Coskey, Samuel, Krakoff, Gianni |
| Rok vydání: |
2020 |
| Předmět: |
|
| Zdroj: |
Journal of Symbolic Logic 88(2):540-561, 2023 |
| Druh dokumentu: |
Working Paper |
| DOI: |
10.1017/jsl.2022.45 |
| Popis: |
We introduce the computable FS-jump, an analog of the classical Friedman--Stanley jump in the context of equivalence relations on the natural numbers. We prove that the computable FS-jump is proper with respect to computable reducibility. We then study the effect of the computable FS-jump on computably enumerable equivalence relations (ceers). |
| Databáze: |
arXiv |
| Externí odkaz: |
|
