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

Упорядоченная структура $\mathcal M$ называется упорядоченно $\lambda$-стабильной, если для любого подмножества $A$ мощности не больше $\lambda$ и для любого сечения в $\mathcal M$ существует самое большее $\lambda$ 1-типов над $A$, совместных с данным сечением. В статье доказано, что упорядоченно стабильные упорядоченные группы являются коммутативными. Кроме того, исследованы свойства формульных подмножеств и одноместных формульных функций в упорядоченно стабильных упорядоченных группах.