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

Abstract

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