Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Classical consequences of continuous choice principles from
  intuitionistic analysis   The sequential form of a statement $\forall\xi(B(\xi) \rightarrow
\exists\zeta A(\xi,\zeta))$ is the statement $\forall\xi(\forall n B(\xi_n)
\rightarrow \exists\zeta \forall n A(\xi_n,\zeta_n))$. There are many
classically true statements of the first form whose proofs lack uniformity and
therefore the corresponding sequential form is not provable in weak classical
systems. The main culprit for this lack of uniformity is of course the law of
excluded middle. Continuing along the lines of previous work by Hirst and
Mummert, we show that if a statement of the first form satisfying certain
syntactic requirements is provable in some weak intuitionistic system, then the
proof is necessarily sufficiently uniform that the corresponding sequential
form is provable in a corresponding weak classical system. Our results depend
on Kleene's realizability with functions and the Lifschitz variant thereof.

11
The categories of this paper are: hep-lat
24
The categories of this paper are: dg-ga
15
The categories of this paper are: nucl-ex
13
The categories of this paper are: quant-ph
32
The categories of this paper are: atom-ph
17
The categories of this paper are: q-fin
34
The categories of this paper are: chem-ph
33
The categories of this paper are: plasm-ph
37
The categories of this paper are: supr-con
4
The categories of this paper are: cond-mat
35
The categories of this paper are: mtrl-th
6
The categories of this paper are: astro-ph
26
The categories of this paper are: bayes-an
31
The categories of this paper are: ao-sci
29
The categories of this paper are: funct-an
19
The categories of this paper are: eess