Structurable equivalence relations and ${\mathcal{L}}_{{\omega }_1\omega }$ interpretations

Rishi Banerjee, Ruiyuan Chen

We show that the category of countable Borel equivalence relations (CBERs) is dually equivalent to the category of countable ${\mathcal{L}}_{{\omega }_1\omega }$ theories which admit a one-sorted…