Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The reverse mathematics of non-decreasing subsequences   Every function over the natural numbers has an infinite subdomain on which
the function is non-decreasing. Motivated by a question of Dzhafarov and
Schweber, we study the reverse mathematics of variants of this statement. It
turns out that this statement restricted to computably bounded functions is
computationally weak and does not imply the existence of the halting set. On
the other hand, we prove that it is not a consequence of Ramsey's theorem for
pairs. This statement can therefore be seen as an arguably natural principle
between the arithmetic comprehension axiom and stable Ramsey's theorem for
pairs.

4
The categories of this paper are: cond-mat
30
The categories of this paper are: q-alg
28
The categories of this paper are: alg-geom
6
The categories of this paper are: astro-ph
27
The categories of this paper are: comp-gas
22
The categories of this paper are: chao-dyn
33
The categories of this paper are: plasm-ph
18
The categories of this paper are: econ
35
The categories of this paper are: mtrl-th
31
The categories of this paper are: ao-sci
13
The categories of this paper are: quant-ph
29
The categories of this paper are: funct-an
8
The categories of this paper are: hep-ex
14
The categories of this paper are: math-ph
37
The categories of this paper are: supr-con
5
The categories of this paper are: gr-qc