Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The characterization of Weihrauch reducibility in systems containing
  E-PA$^{\omega}$ + QF-AC$^{0,0}$   We characterize Weihrauch reducibility in E-PA$^{\omega}$ + QF-AC$^{0,0}$ and
all systems containing it by the provability in a linear variant of the same
calculus using modifications of G\"odel's Dialectica interpretation that
incorporate ideas from linear logic, nonstandard arithmetic, higher-order
computability, and phase semantics.

8
The categories of this paper are: hep-ex
28
The categories of this paper are: alg-geom
15
The categories of this paper are: nucl-ex
7
The categories of this paper are: hep-th
29
The categories of this paper are: funct-an
20
The categories of this paper are: acc-phys
13
The categories of this paper are: quant-ph
27
The categories of this paper are: comp-gas
17
The categories of this paper are: q-fin
18
The categories of this paper are: econ
31
The categories of this paper are: ao-sci
1
The categories of this paper are: cs
21
The categories of this paper are: adap-org
12
The categories of this paper are: nucl-th
33
The categories of this paper are: plasm-ph
35
The categories of this paper are: mtrl-th