MATHEMATICS

Sufficient conditions for the existence of undecidable indirectly reflective sentences

V. M. Zyuz'kov

Tomsk State University, Tomsk, Russian Federation

Abstract: 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, indirect reflexion, undecidable sentences.

UDC: 519.95

Received: 14.03.2015

DOI: 10.17223/19988621/35/2

Bibliographic databases:

• 
•