Sign in

Computable Reducibility of Equivalence Relations and an Effective jump operator.

John D. ClemensSamuel CoskeyGianni Krakoff
Published in: J. Symb. Log. (2023)
Keyphrases
  • equivalence relation