[bibtex key=CoskeyHamkinsMiller2012:HierarchyOfEquivalenceRelationsOnN]
We define and elaborate upon the notion of computable reducibility between equivalence relations on the natural numbers, providing a natural computable analogue of Borel reducibility, and investigate the hierarchy to which it gives rise. The theory appears well suited for an analysis of equivalence relations on classes of c.e. structures, a rich context with many natural examples, such as the isomorphism relation on c.e. graphs or on computably presented groups. In this regard, our exposition extends earlier work in the literature concerning the classification of computable structures. An abundance of open questions remain.
Pingback: The hierarchy of equivalence relations on the natural numbers under computable reducibility, Florida, 2012 | Joel David Hamkins
Pingback: The hierarchy of equivalence relations on the natural numbers under computable reducibility, Cambridge, March 2012 | Joel David Hamkins
Pingback: The hierarchy of equivalence relations on $mathbb{N}$ under computable reducibility, New York March 2012 | Joel David Hamkins
Pingback: The hierarchy of equivalence relations on the natural numbers under computable reducibility, Chicheley Hall, June 2012 | Joel David Hamkins