Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On the likelihood of normalisation in combinatory logic   We present a quantitative basis-independent analysis of combinatory logic.
Using a general argument regarding plane binary trees with labelled leaves, we
generalise the results of David et al. and Bendkowski et al. to all
Turing-complete combinator bases proving, inter alia, that asymptotically
almost no combinator is strongly normalising nor typeable. We exploit the
structure of recently discovered normal-order reduction grammars showing that
for each positive $n$, the set of $\mathbf{S} \mathbf{K}$-combinators reducing
in $n$ normal-order reduction steps has positive asymptotic density in the set
of all combinators. Our approach is constructive, allowing us to systematically
find new asymptotically significant fractions of normalising combinators. We
show that the density of normalising combinators cannot be less than $34\%$,
improving the previously best lower bound of approximately $3\%$. Finally, we
present some super-computer experimental results, conjecturing that the density
of normalising combinators is close to $85\%$.

10
The categories of this paper are: q-bio
16
The categories of this paper are: stat
17
The categories of this paper are: q-fin
23
The categories of this paper are: solv-int
24
The categories of this paper are: dg-ga
5
The categories of this paper are: gr-qc
19
The categories of this paper are: eess
2
The categories of this paper are: math
29
The categories of this paper are: funct-an
28
The categories of this paper are: alg-geom
13
The categories of this paper are: quant-ph
30
The categories of this paper are: q-alg
8
The categories of this paper are: hep-ex
4
The categories of this paper are: cond-mat
33
The categories of this paper are: plasm-ph
15
The categories of this paper are: nucl-ex