Фильтрованные произведения, слабо о-минимальные теории и пары моделей
Руководитель проекта: Омаров А.И.
Исполнители проекта: Е.Р.Байсалов
Организация: НИИ мех. и мат. при КазНУ
Инвентарный номер: 0202РК00270
Регистрационный номер: 0197РК00308
Ключевые слова: Слабо о-минимальные теории, о-минимальные теории, Математическая логика,
Найден синтаксический критерий, характеризующий h-формулы в классе мультипликативно устойчивых формул. Описаны слабо о-минимальные счетно-категоричные модели. Доказано, что обогащение омега-категоричной слабо о-минимальной теории выпуклым предикатом остается омега-категоричной слабо о-минимальной теорией. Исследованы свойства красивых пар в о-минимальных теориях, доказана элиминация кванторов.