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