Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Classical realizability as a classifier for nondeterminism   We show how the language of Krivine's classical realizability may be used to
specify various forms of nondeterminism and relate them with properties of
realizability models. More specifically, we introduce an abstract notion of
multi-evaluation relation which allows us to finely describe various
nondeterministic behaviours. This defines a hierarchy of computational models,
ordered by their degree of nondeterminism, similar to Sazonov's degrees of
parallelism. What we show is a duality between the structure of the
characteristic Boolean algebra of a realizability model and the degree of
nondeterminism in its underlying computational model. ACM Reference Format:
Guillaume Geoffroy. 2018. Classical realizability as a classifier for
nondeter-minism.

29
The categories of this paper are: funct-an
33
The categories of this paper are: plasm-ph
12
The categories of this paper are: nucl-th
25
The categories of this paper are: patt-sol
36
The categories of this paper are: cmp-lg
35
The categories of this paper are: mtrl-th
0
The categories of this paper are: hep-ph
26
The categories of this paper are: bayes-an
5
The categories of this paper are: gr-qc
4
The categories of this paper are: cond-mat
31
The categories of this paper are: ao-sci
20
The categories of this paper are: acc-phys
37
The categories of this paper are: supr-con
15
The categories of this paper are: nucl-ex
16
The categories of this paper are: stat
21
The categories of this paper are: adap-org