Equivalence relations in set theory, computation theory, model theory and complexity theory