Instruct: Identify the main and secondary category of Arxiv papers based on the titles
Query: Undecidability of first-order modal and intuitionistic logics with two
  variables and one monadic predicate letter
35
The categories of this paper are: mtrl-th
3
The categories of this paper are: physics
15
The categories of this paper are: nucl-ex
29
The categories of this paper are: funct-an
12
The categories of this paper are: nucl-th
16
The categories of this paper are: stat
9
The categories of this paper are: nlin
30
The categories of this paper are: q-alg
31
The categories of this paper are: ao-sci
6
The categories of this paper are: astro-ph
18
The categories of this paper are: econ
20
The categories of this paper are: acc-phys
33
The categories of this paper are: plasm-ph
27
The categories of this paper are: comp-gas
37
The categories of this paper are: supr-con
11
The categories of this paper are: hep-lat