Geodesic
Sufficient conditions for the existence of undecidable indirectly reflective sentences
Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mehanika, no. 3 (2015), pp. 12-17

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

Indirectly reflective sentences in the $\omega$-consistent theory of formal arithmetic are studied. Sufficient conditions for the existence of undecidable indirectly reflective sentences are proved.
Keywords: formal arithmetic, undecidable sentences.
Mots-clés : indirect reflexion 
@article{VTGU_2015_3_a1,
     author = {V. M. Zyuz'kov},
     title = {Sufficient conditions for the existence of undecidable indirectly reflective sentences},
     journal = {Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mehanika},
     pages = {12--17},
     publisher = {mathdoc},
     number = {3},
     year = {2015},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VTGU_2015_3_a1/}
}
TY  - JOUR
AU  - V. M. Zyuz'kov
TI  - Sufficient conditions for the existence of undecidable indirectly reflective sentences
JO  - Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mehanika
PY  - 2015
SP  - 12
EP  - 17
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VTGU_2015_3_a1/
LA  - ru
ID  - VTGU_2015_3_a1
ER  - 
%0 Journal Article
%A V. M. Zyuz'kov
%T Sufficient conditions for the existence of undecidable indirectly reflective sentences
%J Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mehanika
%D 2015
%P 12-17
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VTGU_2015_3_a1/
%G ru
%F VTGU_2015_3_a1
V. M. Zyuz'kov. Sufficient conditions for the existence of undecidable indirectly reflective sentences. Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mehanika, no. 3 (2015), pp. 12-17. http://geodesic.mathdoc.fr/item/VTGU_2015_3_a1/