Критерий бинарности почти $\omega$-категоричных слабо $o$-минимальных теорий

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