Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On Constructivity and the Rosser Property: a closer look at some
  G\"odelean proofs   The proofs of Kleene, Chaitin and Boolos for G\"odel's First Incompleteness
Theorem are studied from the perspectives of constructivity and the Rosser
property. A proof of the incompleteness theorem has the Rosser property when
the independence of the true but unprovable sentence can be shown by assuming
only the (simple) consistency of the theory. It is known that G\"odel's own
proof for his incompleteness theorem does not have the Rosser property, and we
show that neither do Kleene's or Boolos' proofs. However, we show that a
variant of Chaitin's proof can have the Rosser property. The proofs of G\"odel,
Rosser and Kleene are constructive in the sense that they explicitly construct,
by algorithmic ways, the independent sentence(s) from the theory. We show that
the proofs of Chaitin and Boolos are not constructive, and they prove only the
mere existence of the independent sentences.

27
The categories of this paper are: comp-gas
34
The categories of this paper are: chem-ph
7
The categories of this paper are: hep-th
22
The categories of this paper are: chao-dyn
25
The categories of this paper are: patt-sol
0
The categories of this paper are: hep-ph
10
The categories of this paper are: q-bio
26
The categories of this paper are: bayes-an
35
The categories of this paper are: mtrl-th
5
The categories of this paper are: gr-qc
28
The categories of this paper are: alg-geom
19
The categories of this paper are: eess
9
The categories of this paper are: nlin
31
The categories of this paper are: ao-sci
30
The categories of this paper are: q-alg
12
The categories of this paper are: nucl-th