Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Continuous logic and Borel equivalence relations   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 that if the equivalence relation of isomorphism is
potentially $\mathbf{\Sigma}^0_2$, then it is essentially countable. We also
provide an equivalent model-theoretic condition that is easy to check in
practice. This theorem is a common generalization of a result of Hjorth about
pseudo-connected metric spaces and a result of Hjorth--Kechris about discrete
structures. As a different application, we also give a new proof of Kechris's
theorem that orbit equivalence relations of actions of Polish locally compact
groups are essentially countable.

31
The categories of this paper are: ao-sci
24
The categories of this paper are: dg-ga
7
The categories of this paper are: hep-th
34
The categories of this paper are: chem-ph
8
The categories of this paper are: hep-ex
32
The categories of this paper are: atom-ph
13
The categories of this paper are: quant-ph
0
The categories of this paper are: hep-ph
20
The categories of this paper are: acc-phys
29
The categories of this paper are: funct-an
23
The categories of this paper are: solv-int
36
The categories of this paper are: cmp-lg
3
The categories of this paper are: physics
21
The categories of this paper are: adap-org
30
The categories of this paper are: q-alg
1
The categories of this paper are: cs