Аңдатпа
An ordered structure M is said to be o-λ-stable if, for every A ⊆ M with | A | ≤ λ and every cut in M , at most λ 1-types over A are consistent with the cut. In the present article, we prove that every o-stable group is abelian. We also study definable subsets and unary functions of o-stable groups.