Skip to content
Publications

Article · Siberian Advances in Mathematics · January 1, 2012

O-stable ordered groups

Abstract

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.

Advanced Topology and Set TheoryRings, Modules, and AlgebrasAdvanced Algebra and Logicordered groupsabelian groupscuts

More by Viktor Verbovskiy