Sufficient conditions for the existence of undecidable indirectly reflective sentences | Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika – Tomsk State University Journal of Mathematics and Mechanics. 2015. № 3(35).

HomeIssuesSufficient conditions for the existence of undecidable indirectly reflective sentences | Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika – Tomsk State University Journal of Mathematics and Mechanics. 2015. № 3(35).

Sufficient conditions for the existence of undecidable indirectly reflective sentences

Indirectly reflective sentences in the ю-consistent theory of formal arithmetic are studied. Sufficient conditions for the existence of undecidable indirectly reflective sentences are proved.

Download file
Counter downloads: 383

Keywords

арифметика Пеано, косвенная рефлексия, неразрешимые предложения, formal arithmetic, indirect reflexion, undecidable sentences

Authors

NameOrganizationE-mail
Zyuz'kov Valentin MikhailovichTomsk State Universityvmz@math.tsu.ru
Всего: 1

References

Мендельсон Э. Введение в математическую логику. М.: Наука, 1976. 320 с.
Булос Дж., Джеффри Р. Вычислимость и логика. М.: Мир, 1994. 396 с.
Зюзьков В.М. Неразрешимые косвенно рефлексивные предложения // Вестник Томского государственного университета. Математика и механика. 2010. № 1(9). С. 21-33.
Smullyan R.M. Godel's Incompleteness Theorem. Oxford: Oxford University Press, 1992.
Sufficient conditions for the existence of undecidable indirectly reflective sentences | Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika – Tomsk State University Journal of Mathematics and Mechanics. 2015. № 3(35).

Sufficient conditions for the existence of undecidable indirectly reflective sentences | Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika – Tomsk State University Journal of Mathematics and Mechanics. 2015. № 3(35).

Download full-text version
Counter downloads: 759