Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Zariski cohomology in second order arithmetic   The cohomology of coherent sheaves and sheaves of Abelian groups on
Noetherian schemes are interpreted in second order arithmetic by means of a
finiteness theorem. This finiteness theorem provably fails for the etale
topology even on Noetherian schemes.

10
The categories of this paper are: q-bio
36
The categories of this paper are: cmp-lg
30
The categories of this paper are: q-alg
37
The categories of this paper are: supr-con
14
The categories of this paper are: math-ph
31
The categories of this paper are: ao-sci
8
The categories of this paper are: hep-ex
28
The categories of this paper are: alg-geom
1
The categories of this paper are: cs
18
The categories of this paper are: econ
12
The categories of this paper are: nucl-th
15
The categories of this paper are: nucl-ex
34
The categories of this paper are: chem-ph
16
The categories of this paper are: stat
3
The categories of this paper are: physics
11
The categories of this paper are: hep-lat