Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Yablo's Paradox And Arithmetical Incompleteness   In this short paper, I present a few theorems on sentences of arithmetic
which are related to Yablo's Paradox as G\"odel's first undecidable sentence
was related to the Liar paradox. In particular, I consider two different
arithemetizations of Yablo's sentences: one resembling G\"odel's
arithmetization of the Liar, with the negation outside of the provability
predicate, one resembling Jeroslow's undecidable sentence, with negation
inside. Both kinds of arithmetized Yablo sentence are undecidable, and
connected to the consistency sentence for the ambient formal system in roughly
the same manner as G\"odel and Jeroslow's sentences.
  Finally, I consider a sentence which is related to the Henkin sentence "I am
provable" in the same way that first two arithmetizations are related to
G\"odel and Jeroslow's sentences. I show that this sentence is provable, using
L\"ob's theorem, as in the standard proof of the Henkin sentence.

25
The categories of this paper are: patt-sol
11
The categories of this paper are: hep-lat
29
The categories of this paper are: funct-an
14
The categories of this paper are: math-ph
34
The categories of this paper are: chem-ph
12
The categories of this paper are: nucl-th
37
The categories of this paper are: supr-con
35
The categories of this paper are: mtrl-th
16
The categories of this paper are: stat
26
The categories of this paper are: bayes-an
3
The categories of this paper are: physics
31
The categories of this paper are: ao-sci
36
The categories of this paper are: cmp-lg
22
The categories of this paper are: chao-dyn
1
The categories of this paper are: cs
19
The categories of this paper are: eess