On the Weak Kleene Scheme in Kripke's Theory of Truth
Cain, James ; Damnjanovic, Zlatan
J. Symbolic Logic, Tome 56 (1991) no. 1, p. 1452-1468 / Harvested from Project Euclid
It is well known that the following features hold of $AR + T$ under the strong Kleene scheme, regardless of the way the language is Godel numbered: 1. There exist sentences that are neither paradoxical nor grounded. 2. There are $2^{\aleph_0}$ fixed points. 3. In the minimal fixed point the weakly definable sets (i.e., sets definable as $\{n\mid A(n)$ is true in the minimal fixed point where $A(x)$ is a formula of $AR + T$) are precisely the $\Pi^1_1$ sets. 4. In the minimal fixed point the totally defined sets (sets weakly defined by formulae all of whose instances are true or false) are precisely the $\triangle^1_1$ sets. 5. The closure ordinal for Kripke's construction of the minimal fixed point is $\omega^{\mathrm{CK}}_1$. In contrast, we show that under the weak Kleene scheme, depending on the way the Godel numbering is chosen: 1. There may or may not exist nonparadoxical, ungrounded sentences. 2. The number of fixed points may be any positive finite number, $\aleph_0$, or $2^{\aleph_0}$. 3. In the minimal fixed point, the sets that are weakly definable may range from a subclass of the sets 1-1 reducible to the truth set of $AR$ to the $\Pi^1_1$ sets, including intermediate cases. 4. Similarly, the totally definable sets in the minimal fixed point range from precisely the arithmetical sets up to precisely the $\triangle^1_1$ sets. 5. The closure ordinal for the construction of the minimal fixed point may be $\omega, \omega^{\mathrm{CK}}_1$, or any successor limit ordinal in between. In addition we suggest how one may supplement $AR + T$ with a function symbol interpreted by a certain primitive recursive function so that, irrespective of the choice of the Godel numbering, the resulting language based on the weak Kleene scheme has the five features noted above for the strong Kleene language.
Publié le : 1991-12-14
Classification: 
@article{1183743826,
     author = {Cain, James and Damnjanovic, Zlatan},
     title = {On the Weak Kleene Scheme in Kripke's Theory of Truth},
     journal = {J. Symbolic Logic},
     volume = {56},
     number = {1},
     year = {1991},
     pages = { 1452-1468},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183743826}
}
Cain, James; Damnjanovic, Zlatan. On the Weak Kleene Scheme in Kripke's Theory of Truth. J. Symbolic Logic, Tome 56 (1991) no. 1, pp.  1452-1468. http://gdmltest.u-ga.fr/item/1183743826/