Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Slow Reflection   We describe a "slow" version of the hierarchy of uniform reflection
principles over Peano Arithmetic ($\mathbf{PA}$). These principles are
unprovable in Peano Arithmetic (even when extended by usual reflection
principles of lower complexity) and introduce a new provably total function. At
the same time the consistency of $\mathbf{PA}$ plus slow reflection is provable
in $\mathbf{PA}+\operatorname{Con}(\mathbf{PA})$. We deduce a conjecture of
S.-D. Friedman, Rathjen and Weiermann: Transfinite iterations of slow
consistency generate a hierarchy of precisely $\varepsilon_0$ stages between
$\mathbf{PA}$ and $\mathbf{PA}+\operatorname{Con}(\mathbf{PA})$ (where
$\operatorname{Con}(\mathbf{PA})$ refers to the usual consistency statement).

28
The categories of this paper are: alg-geom
18
The categories of this paper are: econ
12
The categories of this paper are: nucl-th
4
The categories of this paper are: cond-mat
33
The categories of this paper are: plasm-ph
24
The categories of this paper are: dg-ga
15
The categories of this paper are: nucl-ex
27
The categories of this paper are: comp-gas
10
The categories of this paper are: q-bio
17
The categories of this paper are: q-fin
9
The categories of this paper are: nlin
8
The categories of this paper are: hep-ex
1
The categories of this paper are: cs
35
The categories of this paper are: mtrl-th
30
The categories of this paper are: q-alg
20
The categories of this paper are: acc-phys