Алгебры распределений бинарных изолирующих формул для почти $\omega$-категоричных слабо $o$-минимальных теорий

Даётся описание алгебр распределений бинарных изолирующих формул над $1$-типом для почти $\omega$-категоричных слабо $o$-минимальных теорий. Доказывается, что изоморфизм этих алгебр для двух $1$-типов характеризуется совпадением бинарных рангов выпуклости, а также одновременным выполнением изолированности, квазирациональности либо иррациональности этих типов. Устанавливается критерий обобщённой коммутативности алгебры формул над парой не слабо ортогональных $1$-типов для почти $\omega$-категоричных слабо $o$-минимальных теорий.