НЕРАЗРЕШИМОСТЬ ЛОГИКИ КВАЗИАРНЫХ ПРЕДИКАТОВ

Рыбаков, М.Н. (2014) НЕРАЗРЕШИМОСТЬ ЛОГИКИ КВАЗИАРНЫХ ПРЕДИКАТОВ. Вестник ТвГУ. Серия: Прикладная математика (4). С. 17-32. ISSN 1995-0136

[thumbnail of elibrary_22791046_67416970 17-32.pdf]

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 On:	14 Сен 2018 08:14
Последнее изменение:	14 Сен 2018 08:14

Repository Staff Only: item control page