Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Finding paths through narrow and wide trees   We consider two axioms of second-order arithmetic. These axioms assert, in
two different ways, that infinite but narrow binary trees always have infinite
paths. We show that both axioms are strictly weaker than Weak K\"onig's Lemma,
and incomparable in strength to the dual statement (WWKL) that wide binary
trees have paths.

8
The categories of this paper are: hep-ex
7
The categories of this paper are: hep-th
16
The categories of this paper are: stat
30
The categories of this paper are: q-alg
6
The categories of this paper are: astro-ph
32
The categories of this paper are: atom-ph
4
The categories of this paper are: cond-mat
3
The categories of this paper are: physics
27
The categories of this paper are: comp-gas
18
The categories of this paper are: econ
34
The categories of this paper are: chem-ph
21
The categories of this paper are: adap-org
20
The categories of this paper are: acc-phys
0
The categories of this paper are: hep-ph
28
The categories of this paper are: alg-geom
11
The categories of this paper are: hep-lat