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 ...

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 ...

We establish new results and introduce new methods in the theory of measurable orbit equivalence, using bounded cohomology of group representations. Our rigidity statements hold for a wide ...