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