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