Об элиминации кванторов в некоторых теориях частичного порядка

Первых, И.М. (2026) Об элиминации кванторов в некоторых теориях частичного порядка. Вестник ТвГУ. Серия: Прикладная математика (2). С. 18-36. ISSN 1995-0136

PDF - Опубликованная версия
541kB

Абстракт

В статье исследуется проблема элиминации кванторов в формулах первого порядка, содержащих отношения строгого порядка и несравнимости. Рассмотрены структуры, состоящие из множеств действительных чисел с минимальными элементами и без них. Для каждой из структур показано, что соответствующая теория допускает элиминацию кванторов, и даны явные конструкции бескванторных эквивалентов. Полученные результаты расширяют класс известных формальных систем, в которых элиминация кванторов возможна

Абстракт (англ.)

In the article, we investigate a quantifier elimination problem for partial order theories in languages that contain strict order and incomparability relations. Structures are considered those that consist of lower-bounded real number sets. For each of these structures, it is shown that the corresponding theory admits effective quantifier elimination. These results expand the class of known structures whose theories admit effective quantifier elimination

Тип объекта:	Статья
Сведения об авторах:	Первых Илья Михайлович аспирант кафедры информатики Тверского государственного университета. Россия, 170100, г. Тверь, ул. Желябова, 33, ТвГУ
Ключевые слова:	логика первого порядка, элиминация кванторов, теория частичного порядка
Ключевые слова (англ.):	first-order logic, quantifier elimination, partial order theory
Категории:	5 Математика. Естественные науки 5 Математика. Естественные науки > 51 Математика 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п.
Подразделения:	Университеты > Тверской государственный университет
ID Code:	15520
Deposited On:	10 Июн 2026 08:12
Последнее изменение:	10 Июн 2026 08:12

Repository Staff Only: item control page