Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A conjecture on numeral systems   A numeral system is an infinite sequence of different closed normal
$\lambda$-terms intended to code the integers in $\lambda$-calculus. H.
Barendregt has shown that if we can represent, for a numeral system, the
functions : Successor, Predecessor, and Zero Test, then all total recursive
functions can be represented. In this paper we prove the independancy of these
particular three functions. We give at the end a conjecture on the number of
unary functions necessary to represent all total recursive functions.

14
The categories of this paper are: math-ph
22
The categories of this paper are: chao-dyn
31
The categories of this paper are: ao-sci
21
The categories of this paper are: adap-org
1
The categories of this paper are: cs
0
The categories of this paper are: hep-ph
5
The categories of this paper are: gr-qc
3
The categories of this paper are: physics
24
The categories of this paper are: dg-ga
28
The categories of this paper are: alg-geom
30
The categories of this paper are: q-alg
13
The categories of this paper are: quant-ph
7
The categories of this paper are: hep-th
19
The categories of this paper are: eess
18
The categories of this paper are: econ
26
The categories of this paper are: bayes-an