Classifying equivalence relations in the Ershov hierarchy

Nikolay Bazhenov, Manat Mustafa, Luca San Mauro +2

Computably enumerable equivalence relations (ceers) received a lot of attention in the literature. The standard tool to classify ceers is provided by the computable reducibility $\…