A Decidability Theorem
Основное содержимое статьи
Аннотация
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://www.analytica-journal.ru/index.php/analytica/article/view/23
Выпуск
Раздел
Статьи
Это произведение доступно по лицензии Creative Commons «Attribution-ShareAlike» («Атрибуция — На тех же условиях») 4.0 Всемирная.