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