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