Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Equality and equivalence, intuitionistically   We show that the intuitionistic first-order theory of equality has continuum
many complete extensions. We also study the Vitali equivalence relation and
show there are many intuitionistically precise versions of it.

21
The categories of this paper are: adap-org
12
The categories of this paper are: nucl-th
16
The categories of this paper are: stat
32
The categories of this paper are: atom-ph
0
The categories of this paper are: hep-ph
13
The categories of this paper are: quant-ph
26
The categories of this paper are: bayes-an
5
The categories of this paper are: gr-qc
18
The categories of this paper are: econ
35
The categories of this paper are: mtrl-th
10
The categories of this paper are: q-bio
29
The categories of this paper are: funct-an
28
The categories of this paper are: alg-geom
27
The categories of this paper are: comp-gas
33
The categories of this paper are: plasm-ph
1
The categories of this paper are: cs