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