Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Using Ramsey's Theorem Once   We show that RT(2,4) cannot be proved with one typical application of RT(2,2)
in an intuitionistic extension of RCA0 to higher types, but that this does not
remain true when the law of the excluded middle is added. The argument uses
Kohlenbach's axiomatization of higher order reverse mathematics, results
related to modified reducibility, and a formalization of Weihrauch
reducibility.

9
The categories of this paper are: nlin
10
The categories of this paper are: q-bio
36
The categories of this paper are: cmp-lg
24
The categories of this paper are: dg-ga
18
The categories of this paper are: econ
27
The categories of this paper are: comp-gas
8
The categories of this paper are: hep-ex
26
The categories of this paper are: bayes-an
32
The categories of this paper are: atom-ph
11
The categories of this paper are: hep-lat
5
The categories of this paper are: gr-qc
23
The categories of this paper are: solv-int
14
The categories of this paper are: math-ph
1
The categories of this paper are: cs
3
The categories of this paper are: physics
28
The categories of this paper are: alg-geom