Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On the share of closed IL formulas which are also in GL   Normal forms for wide classes of closed IL formulas were given in [4]. Here
we quantify asymptotically, in exact numbers, how wide those classes are. As a
consequence, we show that the "majority" of closed IL formulas have
GL-equivalents, and by that, they have the same normal forms as GL formulas.
Our approach is entirely syntactical, except for applying the results of [4].
As a byproduct we devise a convenient way of computing asymptotic behaviors of
somewhat general classes of formulas given by their grammar rules. Its
applications do not require any knowledge of the recurrence relations,
generating functions, or the asymptotic enumeration methods, as all these are
incorporated into two fundamental parameters.

36
The categories of this paper are: cmp-lg
33
The categories of this paper are: plasm-ph
16
The categories of this paper are: stat
31
The categories of this paper are: ao-sci
35
The categories of this paper are: mtrl-th
18
The categories of this paper are: econ
3
The categories of this paper are: physics
37
The categories of this paper are: supr-con
11
The categories of this paper are: hep-lat
23
The categories of this paper are: solv-int
1
The categories of this paper are: cs
7
The categories of this paper are: hep-th
17
The categories of this paper are: q-fin
5
The categories of this paper are: gr-qc
26
The categories of this paper are: bayes-an
22
The categories of this paper are: chao-dyn