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

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

PDF - Published Version
418kB

Abstract

Строится перевод из языка первого порядка в язык логики квазиарных предикатов. Этот перевод сохраняет выполнимость формул в классах моделей, определенных на тех же множествах элементов. Как следствие, мы получаем, что логика квазиарных предикатов не является разрешимой, теория конечных моделей в языке логики квазиарных предикатов не является рекурсивно перечислимой, и так далее

Abstract (en)

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

Item Type:	Article
Additional Information:	1. Рыбаков Михаил Николаевич доцент кафедры функционального анализа и геометрии Тверского государственного университета
Uncontrolled Keywords:	логика квазиарных предикатов, неразрешимость, рекурсивная перечислимость
Keywords (en):	logic of quasiary predicates, undecidability, recursive enumerability
Subjects:	5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п.
Divisions:	Университеты > TverSU > Faculties > Mathematical > Кафедра функционального анализа и геометрии
ID Code:	7945
Deposited By:	С.Б. Федорова
Deposited On:	14 Sep 2018 08:14
Last Modified:	14 Sep 2018 08:14

Repository Staff Only: item control page