Рыбаков, М.Н. (2014) НЕРАЗРЕШИМОСТЬ ЛОГИКИ КВАЗИАРНЫХ ПРЕДИКАТОВ. Вестник ТвГУ. Серия: Прикладная математика (4). С. 17-32. ISSN 1995-0136
![[img]](http://eprints.tversu.ru/style/images/fileicons/application_pdf.png) |
PDF
- Опубликованная версия
418kB |
Абстракт
Строится перевод из языка первого порядка в язык логики квазиарных предикатов. Этот перевод сохраняет выполнимость формул в классах моделей, определенных на тех же множествах элементов. Как следствие, мы получаем, что логика квазиарных предикатов не является разрешимой, теория конечных моделей в языке логики квазиарных предикатов не является рекурсивно перечислимой, и так далее
Абстракт (англ.)
A translation from the first-order language to the language of the logic of quasiary predicates is constructed. The translation preserves satisfiability of formulas in classes of models defined on the same sets of elements. As a corollary we obtain that the logic of quasiary predicates is undecidable, the finite model theory of quasiary predicates is not recursively enumerable, etc
| Тип объекта: | Статья |
|---|---|
| Сведения об авторах: | 1. Рыбаков Михаил Николаевич доцент кафедры функционального анализа и геометрии Тверского государственного университета |
| Ключевые слова: | логика квазиарных предикатов, неразрешимость, рекурсивная перечислимость |
| Ключевые слова (англ.): | logic of quasiary predicates, undecidability, recursive enumerability |
| Категории: | 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. |
| Подразделения: | Университеты > Тверской государственный университет > Факультеты > Математический > Кафедра функционального анализа и геометрии |
| ID Code: | 7945 |
| Deposited By: | С.Б. Федорова |
| Deposited On: | 14 Сен 2018 08:14 |
| Последнее изменение: | 14 Сен 2018 08:14 |
Repository Staff Only: item control page
