Geodesic
Undecidable indirectly reflexive sentences
Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mehanika, no. 1 (2010), pp. 21-33

Voir la notice de l'article provenant de la source Math-Net.Ru

A generalization of the well-known diagonalization (reflexion) lemma for the case of indirect reflexion is proved for the theory of formal arithmetic. Indirectly reflexive sentences about provability and refutability in the $\omega$-consistent theory of formal arithmetic are studied. Existence of undecidable sentences among some sets of indirectly reflective sentences is proved. If provability and refutability are replaced by truth and falsehood, existence of undecidable sentences leads to paradoxes.
Keywords: formal arithmetic, diagonalization, undecidable sentences
Mots-clés : indirect reflexion, paradoxes. 
@article{VTGU_2010_1_a2,
     author = {V. M. Zyuz'kov},
     title = {Undecidable indirectly reflexive sentences},
     journal = {Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mehanika},
     pages = {21--33},
     publisher = {mathdoc},
     number = {1},
     year = {2010},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VTGU_2010_1_a2/}
}
TY  - JOUR
AU  - V. M. Zyuz'kov
TI  - Undecidable indirectly reflexive sentences
JO  - Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mehanika
PY  - 2010
SP  - 21
EP  - 33
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VTGU_2010_1_a2/
LA  - ru
ID  - VTGU_2010_1_a2
ER  - 
%0 Journal Article
%A V. M. Zyuz'kov
%T Undecidable indirectly reflexive sentences
%J Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mehanika
%D 2010
%P 21-33
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VTGU_2010_1_a2/
%G ru
%F VTGU_2010_1_a2
V. M. Zyuz'kov. Undecidable indirectly reflexive sentences. Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mehanika, no. 1 (2010), pp. 21-33. http://geodesic.mathdoc.fr/item/VTGU_2010_1_a2/