Выразительная сила логики предикатов и групповые свойства моделей теорий первого порядка
Full Name of the work head: М.Г.Перетятькин
Исполнители проекта: К.Ж.Кудайбергенов
: Ин-т мат.
Inventory number: 0210РК00705
Registration number: 0109РК00731
Keywords: Линденбаума алгебра, Логика предикатов,
Исследована структура алгебры Линденбаума исчисления предикатов конечной сигнатуры. Разработана альтернативная форма канонической конструкции конечно аксиоматизируемых теорий. Осуществлено сравнение силы этой конструкции с силой универсальной конструкции. Определено общее понятие надстройки над моделью. Рассмотрена мощность интерпретируемых множеств в такой надстройке над специальными типами моделей.
