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