A Decidability Theorem

Боковая панель статьи

PDF (Английский)
Опубликован: Jan 9, 2022
Ключевые слова:
decidability theorem, proof

Основное содержимое статьи

Vitaly Filippovski

Аннотация


The aim of this paper is to present the proof of the decidability theorem that says that for every ω-consistent recursive class r of formulas, for all recursive class signs r υ Gen r belongs to Flg(k) whereas Neg(υ Gen r) does not belong to Flg(k) (where υ is the free variable of r).


Информация о статье

Как цитировать
Filippovski, V. (2022). A Decidability Theorem. Analytica, 3, 78–91. https://analytica-journal.ru/index.php/analytica/article/view/23
Выпуск
Том 3 (2009)
Раздел
Статьи
Лицензия Creative Commons

Это произведение доступно по лицензии Creative Commons «Attribution-ShareAlike» («Атрибуция — На тех же условиях») 4.0 Всемирная.

Как цитировать

Filippovski, V. (2022). A Decidability Theorem. Analytica, 3, 78–91. https://analytica-journal.ru/index.php/analytica/article/view/23