Получен критерий равенства бинарных рангов выпуклости не слабо ортогональных 1-типов в счетно категоричной слабо о-минимальной теории. Описаны алгебры распределения бинарных изолирующих формул для произвольного 1-типа счетно категоричной слабо о-минимальной теории. Найден критерий обобщенной коммутативности алгебры распределений бинарных формул для произвольной пары 1-типов счетно категоричной слабо о-минимальной теории. Найден критерий насыщенности счетной структуры полного самодостаточного генерического класса. Доказано, что теория локально свободной алгебры имеет одну предельную модель, если она мала, и континуум предельных моделей, если эта теория имеет континуальное число типов. Исследованы элементарные теории абелевых групп с выделенной сервантной подгруппой.