Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Arithmetic with Limited Exponentiation   We present and analyze a natural hierarchy of weak theories, develop analysis
in them, and show that they are interpretable in bounded quantifier arithmetic
$\text{I}\Delta_0$ (and hence in Robinson arithmetic Q). The strongest theories
include computation corresponding to k-fold exponential (fixed k) time, Weak
K\"onig's Lemma, and an arbitrary but fixed number of higher level function
types with extensionality, recursive comprehension, and quantifier-free axiom
of choice. We also explain why interpretability in $\text{I}\Delta_0$ is so
rich, and how to get below it.

8
The categories of this paper are: hep-ex
16
The categories of this paper are: stat
26
The categories of this paper are: bayes-an
4
The categories of this paper are: cond-mat
20
The categories of this paper are: acc-phys
24
The categories of this paper are: dg-ga
1
The categories of this paper are: cs
5
The categories of this paper are: gr-qc
28
The categories of this paper are: alg-geom
33
The categories of this paper are: plasm-ph
27
The categories of this paper are: comp-gas
11
The categories of this paper are: hep-lat
10
The categories of this paper are: q-bio
6
The categories of this paper are: astro-ph
22
The categories of this paper are: chao-dyn
0
The categories of this paper are: hep-ph