Computable Reducibility of Equivalence Relations and an Effective jump operator.

John D. Clemens Samuel Coskey Gianni Krakoff

Published in: J. Symb. Log. (2023)

Keyphrases

equivalence relation