О поведении 2-формул в упорядоченных теориях с немаксимальным числом счетных моделей

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