Abstract:This paper is devoted to the study of analytic equivalence relations which are Borel graphable, i.e. which can be realized as the connectedness relation of a Borel graph. Our main focus is the question of which analytic equivalence relations are Borel graphable. First, we study an equivalence relation arising from the theory of countable admissible ordinals and show that it is Borel graphable if and only if there is a non-constructible real. As a corollary of the proof, we construct an analytic equivalence relation which is (provably in ZFC) not Borel graphable and an effectively analytic equivalence relation which is Borel graphable but not effectively Borel graphable. Next, we study analytic equivalence relations given by the isomorphism relation for some class of countable structures. We show that all such equivalence relations are Borel graphable, which implies that for every Borel action of $S_\infty$, the associated orbit equivalence relation is Borel graphable. This leads us to study the class of Polish groups whose Borel actions always give rise to Borel graphable orbit equivalence relations; we refer to such groups as graphic groups. We show that besides $S_\infty$, the class of graphic groups includes all connected Polish groups and is closed under countable products. We finish by studying structural properties of the class of Borel graphable analytic equivalence relations and by considering two variations on Borel graphability: a generalization with hypegraphs instead of graphs and an analogue of Borel graphability in the setting of computably enumerable equivalence relations.

Embedding an analytic equivalence relation in the transitive closure of a Borel relation

On small analytic relations

Borel graphable equivalence relations

Degree spectra of analytic complete equivalence relations

A dichotomy for countable unions of smooth Borel equivalence relations

EQUIVALENCE RELATIONS WHICH ARE BOREL SOMEWHERE

Hausdorff dimension and countable Borel equivalence relations

The Baire closure and its logic

A closed subset of Baire space not Medvedev equivalent to any closed set of Cantor space

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

Countable Borel treeable equivalence relations are classifiable by $\ell_1$

A Relational Category of Birkhoff Polarities

The Borel Map for Compact Subanalytic Subsets of

The finite Friedman-Stanley jumps: generic dichotomies for Borel homomorphisms

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

Borel complexity of families of finite equivalence relations via large cardinals

Universal countable Borel quasi-orders

Tree-like graphings of countable Borel equivalence relations

On dense orbits in the space of subequivalence relations

An order analysis of hyperfinite Borel equivalence relations

On conjugacy of transitive resp. minimal homeomorphisms for various base spaces