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