Фильтрованные произведения, слабо о-минимальные теории и пары моделей
Руководитель проекта: Омаров А.И.
Исполнители проекта: А.Т.Нуртазин
Организация: НИИ мех. и мат. при КазГУ
Инвентарный номер: 0299РК00017
Регистрационный номер: 0199РК00003
Ключевые слова: модели, о-минимальные, теории, фильтрованные, произведения, исследование, алгебры, логики, кванторы, элиминация, предикаты,
Получена бесконечная базируемость множества тождеств алгебры нечеткой логики. Доказано существование ее простой минимальной подмодели. Исследованы свойства красивых пар в о-минимальных теориях и доказана элиминация кванторов в ней. Решена гипотеза Черлина об обогащениях о-минимальных моделей выпуклыми предикатами.