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