Об алгебрах распределений бинарных изолирующих формул для вполне $o$-минимальных теорий

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