Classifying equivalence relations in the Ershov hierarchy.

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 . This gives rise to a rich degree structure.