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