Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The logic of the reverse mathematics zoo   Building on previous work by Mummert, Saadaoui and Sovine, we study the logic
underlying the web of implications and nonimplications which constitute the so
called reverse mathematics zoo. We introduce a tableaux system for this logic
and natural deduction systems for important fragments of the language.

25
The categories of this paper are: patt-sol
14
The categories of this paper are: math-ph
35
The categories of this paper are: mtrl-th
13
The categories of this paper are: quant-ph
12
The categories of this paper are: nucl-th
16
The categories of this paper are: stat
19
The categories of this paper are: eess
30
The categories of this paper are: q-alg
4
The categories of this paper are: cond-mat
3
The categories of this paper are: physics
36
The categories of this paper are: cmp-lg
33
The categories of this paper are: plasm-ph
22
The categories of this paper are: chao-dyn
28
The categories of this paper are: alg-geom
11
The categories of this paper are: hep-lat
7
The categories of this paper are: hep-th