Классификационные вопросы упорядоченных и генерических структур, а также их элементарных теорий
Руководитель проекта: Кальменов Т.Ш.
Исполнители проекта: Кулпешов Б.Ш., Судоплатов С.В. и др.
Организация: Институт математики и математического моделирования
Инвентарный номер: 0216РК00300
Регистрационный номер: 0115РК00625
Ключевые слова: Слабая о-минимальность*счетная категоричность*бинарная изолирующая формула*алгебра распределения бинарных формул
Исследованы свойства счетно-категоричных слабо о-минимальных структур. Получено полное описание счетно-категоричных слабо о-минимальных структур конечного ранга выпуклости. Найден критерий 2-обобщенной коммутативности алгебры распределений бинарных формул для произвольного семейства 1-типов счетно категоричной слабо о-минимальной теории в терминах бинарного ранга выпуклости. Рассмотрены порождения и факторизации для алгебр распределения бинарных формул, опирающиеся на алгебры для ациклических графов. Описаны тройки распределения счетных моделей теорий ациклических графов.