Showing 1–1 of 1 results for author: Krakoff, G

Computable reducibility of equivalence relations and an effective jump operator

Authors: John D. Clemens, Samuel Coskey, Gianni Krakoff

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). 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). △ Less

Submitted 16 May, 2022; v1 submitted 28 May, 2020; originally announced May 2020.

MSC Class: 03D25; 03D30; 03D65; 03F15

Journal ref: Journal of Symbolic Logic 88(2):540-561, 2023