Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A simple presentation of the effective topos   We propose for the Effective Topos an alternative construction: a
realisability framework composed of two levels of abstraction. This
construction simplifies the proof that the Effective Topos is a topos (equipped
with natural numbers), which is the main issue that this paper addresses. In
this our work can be compared to Frey's monadic tripos-to-topos construction.
However, no topos theory or even category theory is here required for the
construction of the framework itself, which provides a semantics for
higher-order type theories, supporting extensional equalities and the axiom of
unique choice.

15
The categories of this paper are: nucl-ex
27
The categories of this paper are: comp-gas
37
The categories of this paper are: supr-con
6
The categories of this paper are: astro-ph
31
The categories of this paper are: ao-sci
30
The categories of this paper are: q-alg
0
The categories of this paper are: hep-ph
17
The categories of this paper are: q-fin
25
The categories of this paper are: patt-sol
9
The categories of this paper are: nlin
35
The categories of this paper are: mtrl-th
8
The categories of this paper are: hep-ex
34
The categories of this paper are: chem-ph
36
The categories of this paper are: cmp-lg
23
The categories of this paper are: solv-int
19
The categories of this paper are: eess