Определимость и структурные свойства моделей
Руководитель проекта: Омаров А.И.
Исполнители проекта: А.Т.Нуртазин
Организация: НИИ мех. и мат. при КазНУ
Инвентарный номер: 0201РК00910
Регистрационный номер: 0100РК00552
Ключевые слова: Математическая логика, Арифметические структуры, Счетно-категоричные графы, Нильпотентные группы, Дистрибутивные решетки,
Исследованы строение и свойства слабо о-минимальных, определимо минимальных структур. Дана оценка определимой сложности арифметических структур. Рассмотрены счетно-категоричные графы и нильпотентные группы простой экспоненты, эквациональная компактность дистрибутивных решеток - фундаментальные основы математической логики.