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