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