Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Smooth approximations and CSPs over finitely bounded homogeneous
  structures   We develop the novel machinery of smooth approximations, and apply it to
confirm the CSP dichotomy conjecture for first-order reducts of the random
tournament, various homogeneous graphs including the random graph, and for
expansions of the order of the rationals. Apart from obtaining these dichotomy
results, we show how our new proof technique allows to unify and significantly
simplify the previous results from the literature. For all but the last
structure, we moreover characterize those CSPs which are solvable by local
consistency methods, again using the same machinery.

27
The categories of this paper are: comp-gas
0
The categories of this paper are: hep-ph
6
The categories of this paper are: astro-ph
18
The categories of this paper are: econ
7
The categories of this paper are: hep-th
20
The categories of this paper are: acc-phys
19
The categories of this paper are: eess
31
The categories of this paper are: ao-sci
14
The categories of this paper are: math-ph
10
The categories of this paper are: q-bio
9
The categories of this paper are: nlin
15
The categories of this paper are: nucl-ex
11
The categories of this paper are: hep-lat
30
The categories of this paper are: q-alg
12
The categories of this paper are: nucl-th
21
The categories of this paper are: adap-org