Computably Enumerable Equivalence Relations

Su Gao, Peter Gerdes. Computably Enumerable Equivalence Relations. Studia Logica, 67(1):27-59, 2001.

Abstract

Abstract is missing.