Computable reducibility of equivalence relations and an effective jump operator
Abstract
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).
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2020
- DOI:
- 10.48550/arXiv.2005.13777
- arXiv:
- arXiv:2005.13777
- Bibcode:
- 2020arXiv200513777C
- Keywords:
-
- Mathematics - Logic;
- 03D25;
- 03D30;
- 03D65;
- 03F15
- E-Print:
- Journal of Symbolic Logic 88(2):540-561, 2023