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).
Информация о статье
Выпуск
Раздел
Статьи
Это произведение доступно по лицензии Creative Commons «Attribution-ShareAlike» («Атрибуция — На тех же условиях») 4.0 Всемирная.