Abstract: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 interpretation of a particular theory we call $\mathcal{T}_\mathsf{LN} \sqcup \mathcal{T}_\mathsf{sep}$ that witnesses embeddability into $2^\mathbb{N}$ and the Lusin--Novikov uniformization theorem. This allows problems about Borel combinatorial structures on CBERs to be translated into syntactic definability problems in $\mathcal{L}_{\omega_1\omega}$, modulo the extra structure provided by $\mathcal{T}_\mathsf{LN} \sqcup \mathcal{T}_\mathsf{sep}$, thereby formalizing a folklore intuition in locally countable Borel combinatorics. We illustrate this with a catalogue of the precise interpretability relations between several standard classes of structures commonly used in Borel combinatorics, such as Feldman--Moore $\omega$-colorings and the Slaman--Steel marker lemma. We also generalize this correspondence to locally countable Borel groupoids and theories interpreting $\mathcal{T}_\mathsf{LN}$, which admit a characterization analogous to that of Hjorth--Kechris for essentially countable isomorphism relations.

Modest Sets are Equivalent to PERs

Equivalences in diagrammatic sets

Partial representations of orderings

Relation identities equivalent to congruence modularity

Submaximal clones over a three-element set up to minor-equivalence

An Equivalence Between Two Models of -Categories of Enriched Presheaves

Model Equivalences

Single-Set Cubical Categories and Their Formalisation with a Proof Assistant

On the Equivalences of Quotient Category Mod-(R,𝔣) with Module Category Mod-S

Splendid and perverse equivalences

Equivalence of multiset-based consequence relations

Single-set cubical categories and their formalisation with a proof assistant (extended version)

Analogues of the countable Borel equivalence relations in the setting of computable reducibility

Equivalence Relations Induced by the U-partial Order.

A parametricity-based formalization of semi-simplicial and semi-cubical sets

Approximation Theory and Elementary Submodels

Reducibilities among equivalence relations induced by recursively enumerable structures.

Representability for small and big triangulated categories

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

CATEGORICITY IN QUASIMINIMAL PREGEOMETRY CLASSES

A characterization of Morita equivalence pairs of quantales