Skip to main content
Log in

O-stable ordered groups

  • Published:
Siberian Advances in Mathematics Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. 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)].

    Google Scholar 

  2. J. Baldwin and J. Saxl, “Logical stability in group theory,” J. Austral. Math. Soc. Ser. A 21(3), 267–276 (1976).

    Article  MathSciNet  MATH  Google Scholar 

  3. O. Belegradek, Y. Peterzil, and F. Wagner, “Quasi-o-minimal structures,” J. Symbolic Logic 65(3), 1115–1132 (2000).

    Article  MathSciNet  MATH  Google Scholar 

  4. O. Belegradek, V. Verbovskiĭ, and F. Wagner, “Coset-minimal groups,” Ann. Pure Appl. Logic 121(2–3), 113–143 (2003).

    Article  MathSciNet  MATH  Google Scholar 

  5. 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.

    Google Scholar 

  6. E. Hrushovski and A. Pillay, “Weakly normal groups,” in Proceedings of Logic Colloquium (Orsay, 1985), (North-Holland, Amsterdam, 1987), pp. 233–244.

  7. B. Kulpeshov, “Weakly o-minimal structures and some of their properties,” J. Symbolic Logic 63(4), 1511–1528 (1998).

    Article  MathSciNet  MATH  Google Scholar 

  8. D. Macpherson, D. Marker, and Ch. Steinhorn, “Weakly o-minimal structures and real closed fields,” Trans. Amer. Math. Soc. 352(12), 5435–5483 (2000).

    Article  MathSciNet  MATH  Google Scholar 

  9. A. Pillay and Ch. Steinhorn, “Definable sets in ordered structures. I,” Trans. Amer. Math. Soc. 295(2), 565–592 (1986).

    Article  MathSciNet  MATH  Google Scholar 

  10. F. Point and F. Wagner, “Essentially periodic ordered groups,” Ann. Pure Appl. Logic 105(1–3), 261–291 (2000).

    Article  MathSciNet  MATH  Google Scholar 

  11. B. Poizat, Stable Groups (Villeurbanne, 1987) [Amer. Math. Soc., Providence, RI, 2001].

  12. A. Robinson and E. Zakon, “Elementary properties of ordered abelian groups,” Trans. Amer. Math. Soc. 96, 222–236 (1960).

    Article  MathSciNet  MATH  Google Scholar 

  13. S. Shelah, “Dependent first order theories, continued,” Israel J. Math. 173, 1–60 (2009).

    Article  MathSciNet  MATH  Google Scholar 

  14. 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.

  15. 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).

    MathSciNet  MATH  Google Scholar 

  16. R. Wencel, “Weakly o-minimal nonvaluational structures,” Ann. Pure Appl. Logic 154(3), 139–162 (2008).

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to V. V. Verbovskiĭ.

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

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.3103/S105513441201004X

Keywords

Navigation