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.
Similar content being viewed by others
References
B. Baĭzhanov and V. Verbovskiĭ, “O-stable theories,” Algebra i Logika 50(3), 303–325 (2011) [Algebra and Logic 50 (3), 211–225 (2011)].
J. Baldwin and J. Saxl, “Logical stability in group theory,” J. Austral. Math. Soc. Ser. A 21(3), 267–276 (1976).
O. Belegradek, Y. Peterzil, and F. Wagner, “Quasi-o-minimal structures,” J. Symbolic Logic 65(3), 1115–1132 (2000).
O. Belegradek, V. Verbovskiĭ, and F. Wagner, “Coset-minimal groups,” Ann. Pure Appl. Logic 121(2–3), 113–143 (2003).
M. A. Dickmann, “Elimination of quantifiers for ordered valuation rings,” in Proceedings of the 3rd Easter Conf. on Model Theory (Gross Koris, 1985), (Humboldt Univ., Berlin, 1985), pp. 64–88.
E. Hrushovski and A. Pillay, “Weakly normal groups,” in Proceedings of Logic Colloquium (Orsay, 1985), (North-Holland, Amsterdam, 1987), pp. 233–244.
B. Kulpeshov, “Weakly o-minimal structures and some of their properties,” J. Symbolic Logic 63(4), 1511–1528 (1998).
D. Macpherson, D. Marker, and Ch. Steinhorn, “Weakly o-minimal structures and real closed fields,” Trans. Amer. Math. Soc. 352(12), 5435–5483 (2000).
A. Pillay and Ch. Steinhorn, “Definable sets in ordered structures. I,” Trans. Amer. Math. Soc. 295(2), 565–592 (1986).
F. Point and F. Wagner, “Essentially periodic ordered groups,” Ann. Pure Appl. Logic 105(1–3), 261–291 (2000).
B. Poizat, Stable Groups (Villeurbanne, 1987) [Amer. Math. Soc., Providence, RI, 2001].
A. Robinson and E. Zakon, “Elementary properties of ordered abelian groups,” Trans. Amer. Math. Soc. 96, 222–236 (1960).
S. Shelah, “Dependent first order theories, continued,” Israel J. Math. 173, 1–60 (2009).
V. Verbovskiĭ, “Non-uniformly weakly o-minimal group,” in Algebra and Model Theory 3 (Erlagol, 2001), (Novosibirsk State Tech. Univ., Novosibirsk, 2001), pp. 136–145.
V. Weispfenning, “Elimination of quantifiers for certain ordered and lattice-ordered abelian groups,” Bull. Soc. Math. Belg. Sér. B 33(1), 131–155 (1981).
R. Wencel, “Weakly o-minimal nonvaluational structures,” Ann. Pure Appl. Logic 154(3), 139–162 (2008).
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © V. V. Verbovskiĭ, 2010, published in Matematicheskie Trudy, 2010, Vol. 13, No. 2, pp. 84–127.
About this article
Cite this article
Verbovskiĭ, V.V. O-stable ordered groups. Sib. Adv. Math. 22, 50–74 (2012). https://doi.org/10.3103/S105513441201004X
Received:
Published:
Issue Date:
DOI: https://doi.org/10.3103/S105513441201004X