Упорядоченно стабильные теории

Развитая техника, созданная для исследования стабильных теорий (М. Морли, С. Шелах), применяется для изучения класса теорий с определимым линейным порядком. Вводится понятие упорядоченно стабильной теории, которое обобщает понятия $o$-минимальности, слабой и квази-$o$-минимальности. Доказывается, что упорядоченно стабильные теории являются зависимыми, но ими не исчерпывается класс зависимых теорий с определимым линейным порядком; любой линейный порядок упорядоченно суперстабилен.