Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Is Ramsey's theorem omega-automatic?   We study the existence of infinite cliques in omega-automatic (hyper-)graphs.
It turns out that the situation is much nicer than in general uncountable
graphs, but not as nice as for automatic graphs.
  More specifically, we show that every uncountable omega-automatic graph
contains an uncountable co-context-free clique or anticlique, but not
necessarily a context-free (let alone regular) clique or anticlique. We also
show that uncountable omega-automatic ternary hypergraphs need not have
uncountable cliques or anticliques at all.

36
The categories of this paper are: cmp-lg
26
The categories of this paper are: bayes-an
15
The categories of this paper are: nucl-ex
13
The categories of this paper are: quant-ph
11
The categories of this paper are: hep-lat
6
The categories of this paper are: astro-ph
33
The categories of this paper are: plasm-ph
12
The categories of this paper are: nucl-th
8
The categories of this paper are: hep-ex
16
The categories of this paper are: stat
31
The categories of this paper are: ao-sci
34
The categories of this paper are: chem-ph
2
The categories of this paper are: math
29
The categories of this paper are: funct-an
28
The categories of this paper are: alg-geom
9
The categories of this paper are: nlin