Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Exponential prefixed polynomial equations   A prefixed polynomial equation is an equation of the form $P(t_1,\ldots,t_n)
= 0$, where $P$ is a polynomial whose variables $t_1,\ldots,t_n$ range over the
natural numbers, preceded by quantifiers over some, or all, of its variables.
Here, we consider exponential prefixed polynomial equations (EPPEs), where
variables can also occur as exponents. We obtain a relatively concise EPPE
equivalent to the combinatorial principle of the Paris-Harrington theorem for
pairs (which is independent of primitive recursive arithmetic), as well as an
EPPE equivalent to Goodstein's theorem (which is independent of Peano
arithmetic). Some new devices are used in addition to known methods for the
elimination of bounded universal quantifiers for Diophantine predicates.

20
The categories of this paper are: acc-phys
10
The categories of this paper are: q-bio
28
The categories of this paper are: alg-geom
21
The categories of this paper are: adap-org
22
The categories of this paper are: chao-dyn
27
The categories of this paper are: comp-gas
29
The categories of this paper are: funct-an
4
The categories of this paper are: cond-mat
6
The categories of this paper are: astro-ph
35
The categories of this paper are: mtrl-th
12
The categories of this paper are: nucl-th
23
The categories of this paper are: solv-int
24
The categories of this paper are: dg-ga
16
The categories of this paper are: stat
32
The categories of this paper are: atom-ph
0
The categories of this paper are: hep-ph