Bazhenov N.; Mustafa M.; Yamaleev M.
(2019)
© Springer Nature Switzerland AG 2019. A standard tool for the classifying computability-theoretic complexity of equivalence relations is provided by computable reducibility. This gives rise to a rich degree-structure which ...