Computably Enumerable Equivalence Relations

A Borel reductibility theory for classes of countable structures

Harvey M. Friedman, Lee Stanley · Journal of Symbolic Logic · 1989 · 273 citations

Natural Sciences, Mathematics, Discrete Mathematics +7

Recursive Unsolvability of Group Theoretic Problems

Michael O. Rabin · Annals of Mathematics · 1958 · 254 citations

Computing, Computer Science, Mathematics +13

Classifying positive equivalence relations

Claudio Bernardi, Andrea Sorbi · Journal of Symbolic Logic · 1983 · 88 citations

Natural Sciences, Mathematics, Representation Theory +7

ON GROUP-THEORETIC DECISION PROBLEMS AND THEIR CLASSIFICATION

C. R. J. Clapham · Bulletin of the London Mathematical Society · 1974 · 84 citations

Business, Mathematics, Decision Analysis +7

Positive equivalences

Yu. L. Ershov · Algebra and Logic · 1971 · 54 citations