Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Interpreting set theory in higher order arithmetic   A folk theorem says higher order arithmetic has the proof theoretic strength
of set theory with limited power set. This paper makes the theorem precise in
terms of several axiom system based on ZF.

22
The categories of this paper are: chao-dyn
37
The categories of this paper are: supr-con
8
The categories of this paper are: hep-ex
35
The categories of this paper are: mtrl-th
31
The categories of this paper are: ao-sci
0
The categories of this paper are: hep-ph
11
The categories of this paper are: hep-lat
34
The categories of this paper are: chem-ph
19
The categories of this paper are: eess
33
The categories of this paper are: plasm-ph
7
The categories of this paper are: hep-th
9
The categories of this paper are: nlin
13
The categories of this paper are: quant-ph
23
The categories of this paper are: solv-int
4
The categories of this paper are: cond-mat
16
The categories of this paper are: stat