Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Beyond Undecidable   The predicate complementary to the well-known Godel's provability predicate
is defined. From its recursiveness new consequences concerning the
incompleteness argumentation are drawn and extended to new results of
consistency, completeness and decidability with regard to Peano Arithmetic and
the first order predicate calculus.

1
The categories of this paper are: cs
20
The categories of this paper are: acc-phys
35
The categories of this paper are: mtrl-th
4
The categories of this paper are: cond-mat
8
The categories of this paper are: hep-ex
33
The categories of this paper are: plasm-ph
36
The categories of this paper are: cmp-lg
25
The categories of this paper are: patt-sol
19
The categories of this paper are: eess
0
The categories of this paper are: hep-ph
23
The categories of this paper are: solv-int
11
The categories of this paper are: hep-lat
26
The categories of this paper are: bayes-an
30
The categories of this paper are: q-alg
9
The categories of this paper are: nlin
29
The categories of this paper are: funct-an