L3

Countable Borel equivalence relations arise naturally as orbit equivalence

relations for countable groups. For each countable Borel equivalence relation E

there is an infinitary sentence such that E is equivalent to the isomorphism

relation on countable models of that sentence. For first order theories the

question is open.