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