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