Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: No-counterexample interpretation et sp\'{e}cification des
  th\'{e}or\`{e}mes de l'arithm\'{e}tique   This paper presents two different ways of extracting the computational
content of formal proofs in arithmetic. The first one corresponds to Kreisel's
No-counterexample Interpretation. based on Ackermann consistency proof. We show
the link with recent work by Krivine on classical realizability. Finally, we
discuss the various degrees of modularity of both approaches.

34
The categories of this paper are: chem-ph
22
The categories of this paper are: chao-dyn
1
The categories of this paper are: cs
32
The categories of this paper are: atom-ph
31
The categories of this paper are: ao-sci
4
The categories of this paper are: cond-mat
16
The categories of this paper are: stat
0
The categories of this paper are: hep-ph
35
The categories of this paper are: mtrl-th
21
The categories of this paper are: adap-org
14
The categories of this paper are: math-ph
23
The categories of this paper are: solv-int
15
The categories of this paper are: nucl-ex
28
The categories of this paper are: alg-geom
19
The categories of this paper are: eess
20
The categories of this paper are: acc-phys