Continuous logic and Borel equivalence relations

Andreas Hallbäck, Maciej Malicki, Todor Tsankov

We study the complexity of isomorphism of classes of metric structures using methods from infinitary continuous logic. For Borel classes of locally compact structures, we prove tha…