Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Transfinite Recursion in Higher Reverse Mathematics   In this paper we investigate the reverse mathematics of higher-order
analogues of the theory \ATRz{} within the framework of higher order reverse
mathematics developed by Kohlenbach \cite{Koh01}. We define a theory \RCAzthr,
a close higher-type analogue of the classical base theory \RCAz, and show that
it is essentially a conservative subtheory of Kohlenbach's base theory \RCAzo.
Working over \RCAzthr, we study higher-type analogues of statements classically
equivalent to \ATRz, including open and clopen determinacy, as well as two
choice principles, and prove several equivalences and separations. Our main
result is the separation of open and clopen determinacy for reals, using a
variant of Steel forcing; in the presentation of this result, we develop a new,
more flexible framework for Steel-type forcing.

34
The categories of this paper are: chem-ph
11
The categories of this paper are: hep-lat
7
The categories of this paper are: hep-th
14
The categories of this paper are: math-ph
12
The categories of this paper are: nucl-th
20
The categories of this paper are: acc-phys
5
The categories of this paper are: gr-qc
36
The categories of this paper are: cmp-lg
19
The categories of this paper are: eess
30
The categories of this paper are: q-alg
1
The categories of this paper are: cs
16
The categories of this paper are: stat
33
The categories of this paper are: plasm-ph
26
The categories of this paper are: bayes-an
23
The categories of this paper are: solv-int
25
The categories of this paper are: patt-sol