Minimal Equivalence Relations in Hyperarithmetical and Analytical Hierarchies

Nikolay Bazhenov, Manat Mustafa, Luca San Mauro +1

A standard tool for classifying the complexity of equivalence relations on $\omega$ is provided by computable reducibility. This reducibility gives rise to a rich degree structure. The…