Skip to main content
Log in

Preservation of ω-Categoricity In Expanding The Models of Weakly o-Minimal Theories

  • Published:
Siberian Mathematical Journal Aims and scope Submit manuscript

Abstract

Studying the model-theoretic properties that are preserved under expansion of the models of countably categorical weakly o-minimal theories of finite convexity rank with convex unary predicates, we show that countable categoricity and convexity rank are among these properties.

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. Macpherson H. D., Marker D., and Steinhorn C., “Weakly o-minimal structures and real closed fields,” Trans. Amer. Math. Soc., vol. 352, no. 12, 5435–5483 (2000).

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  3. Knight J., Pillay A., and Steinhorn C., “Definable sets in ordered structures. II,” Trans. Amer. Math. Soc., vol. 295, no. 2, 593–605 (1986).

    Article  MathSciNet  MATH  Google Scholar 

  4. Pillay A. and Steinhorn C., “Definable sets in ordered structures. III,” Trans. Amer. Math. Soc., vol. 309, no. 2, 469–476 (1988).

    Article  MathSciNet  MATH  Google Scholar 

  5. Van den Dries L., “Remarks on Tarski’s problem concerning 〈R,+, *, exp〉,” in: Logic Colloquium’ 82 (G. Lolli, G. Longo, A. Marcja, eds.), North-Holland, Amsterdam, 1984, 97–121.

    Chapter  Google Scholar 

  6. Dickmann M., “Elimination of quantifiers for ordered valuation rings,” J. Symb. Log., vol. 52, no. 1, 116–128 (1987).

    Article  MathSciNet  MATH  Google Scholar 

  7. Kulpeshov B. Sh., “Weakly o-minimal structures and some of their properties,” J. Symb. Log., vol. 63, no. 4, 1511–1528 (1998).

    Article  MathSciNet  MATH  Google Scholar 

  8. Baizhanov B. S., “Expansion of a model of a weakly o-minimal theory by a family of unary predicates,” J. Symb. Log., vol. 66, no. 3, 1382–1414 (2001).

    Article  MathSciNet  MATH  Google Scholar 

  9. Kulpeshov B. Sh., “Countably categorical quite o-minimal theories,” J. Math. Sci., vol. 188, no. 4, 387–397 (2013).

    Article  MathSciNet  MATH  Google Scholar 

  10. Kulpeshov B. Sh., “Criterion for binarity of N 0-categorical weakly o-minimal theories,” Ann. Pure Appl. Logic, vol. 45, no. 2, 354–367 (2007).

    Article  MathSciNet  MATH  Google Scholar 

  11. Kulpeshov B. Sh., “Countably categorical weakly o-minimal structures of finite convexity rank,” Sib. Math. J., vol. 57, no. 4, 606–617 (2016).

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to S. S. Baĭzhanov.

Additional information

Original Russian Text Copyright © 2018 Baĭzhanov S.S. and Kulpeshov B.Sh.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Baĭzhanov, S.S., Kulpeshov, B.S. Preservation of ω-Categoricity In Expanding The Models of Weakly o-Minimal Theories. Sib Math J 59, 207–216 (2018). https://doi.org/10.1134/S0037446618020039

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0037446618020039

Keywords

Navigation