The study of computable structures and equivalence relations lies at the intersection of computability theory, algebra and logic, and provides essential insights into the classification and decision ...

Synthese, Vol. 196, No. 11, Special Issue on Medical Knowledge in a Social World (November 2019), pp. 4657-4677 (21 pages) This paper proposes a reading of the history of equivalence in mathematics.

Say that a class of equivalence relations ${\cal C}$ has the finite union property if every equivalence relation that is the union of finitely many members of ${\cal C}$ must itself be a member of ...