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