Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A syntactic tool for proving hardness in the Second Level of the
  Polynomial-Time Hierarchy   In the nineties Immerman and Medina initiated the search for syn- tactic
tools to prove NP-completeness. In their work, amongst several results, they
conjecture that the NP-completeness of a problem defined by the conjunction of
a sentence in Existential Second Order Logic with a First Order sentence,
necessarily imply the NP-completeness of the problem defined by the Existential
Second Order sentence alone. This is interesting because if true it would
justify the restriction heuristic pro- posed in Garey and Johnson in his
classical book on NP completeness, which roughly says that in some cases one
can prove NP- complete a problem A by proving NP-complete a problem B contained
in A. Borges and Bonet extend some results from Immerman and Medina and they
also prove for a host of complexity classes that the Immerman- Medina
conjecture is true when the First Order sentence in the conjunc- tion is
universal. Our work extends that result to the Second Level of the
Polynomial-Time Hierarchy.

21
The categories of this paper are: adap-org
29
The categories of this paper are: funct-an
12
The categories of this paper are: nucl-th
35
The categories of this paper are: mtrl-th
8
The categories of this paper are: hep-ex
2
The categories of this paper are: math
19
The categories of this paper are: eess
28
The categories of this paper are: alg-geom
0
The categories of this paper are: hep-ph
10
The categories of this paper are: q-bio
18
The categories of this paper are: econ
36
The categories of this paper are: cmp-lg
9
The categories of this paper are: nlin
33
The categories of this paper are: plasm-ph
23
The categories of this paper are: solv-int
24
The categories of this paper are: dg-ga