Выразительная сила логики предикатов и групповые свойства моделей теорий первого порядка
Руководитель проекта: М.Г.Перетятькин
Исполнители проекта: К.Ж.Кудайбергенов
Организация: Ин-т мат.
Инвентарный номер: 0209РК01352
Регистрационный номер: 0109РК00731
Ключевые слова: Линденбаума алгебра, Математическая логика, Логика предикатов,
Исследованы структура алгебры Линденбаума исчисления предикатов конечной сигнатуры; инфинитарный (квазиточный) список MQL; квазиточные интерпретации и их связь с инфинитарным списком. Найдены варианты понятия однородности, сохраняющиеся в eq-обогащениях модели.