Skip to main content
SpringerLink
Log in

Algebras of Distributions of Binary Isolating Formulas for Almost ω-Categorical Weakly o-Minimal Theories

  • Published:
Algebra and Logic Aims and scope

We describe distribution algebras of binary isolating formulas over 1-type for almost ω-categorical weakly o-minimal theories. It is proved that an isomorphism of these algebras for two 1-types is characterized by the coincidence of binary convexity ranks, as well as by the simultaneous fulfillment of isolation, quasirationality or irrationality of the two types. A criterion is established for an algebra of formulas over a pair of not weakly orthogonal 1-types to be generalized commutative for almost ω-categorical weakly o-minimal theories.

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

Access this article

Log in via an institution

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

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

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

    Article  MathSciNet  Google Scholar 

  2. M. A. Dickmann, “Elimination of quantifiers for ordered valuation rings,” J. Symb. Log., 52, 116-128 (1987).

    Article  MathSciNet  Google Scholar 

  3. L. van den Dries and A. H. Lewenberg, “T-convexity and tame extensions,” J. Symb. Log., 60, No. 1, 74-102 (1995).

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  6. K. Ikeda, A. Pillay, and A. Tsuboi, “On theories having three countable models,” Math. Log. Q., 44, No. 2, 161-166 (1998).

    Article  MathSciNet  Google Scholar 

  7. S. V. Sudoplatov, Classification of Countable Models of Complete Theories, Part 1, 2nd ed., Novosibirsk, Novosibirsk State Tech. Univ. (2018).

  8. S. V. Sudoplatov, Classification of Countable Models of Complete Theories, Part 2, 2nd ed., Novosibirsk, Novosibirsk State Tech. Univ. (2018).

  9. M. G. Peretyat’kin, “Theories with three countable models,” Algebra and Logic, 19, No. 2, 139-147 (1980).

    Article  Google Scholar 

  10. B. Sh. Kulpeshov and S. V. Sudoplatov, “Linearly ordered theories which are nearly countably categorical,” Mat. Zametki, 101, No. 3, 413-424 (2017).

    Article  MathSciNet  Google Scholar 

  11. A. B. Altayeva and B. Sh. Kulpeshov, “Binarity of almost ω-categorical quite o-minimal theories,” Sib. Math. J., 61, No. 3, 379-390 (2020).

    Article  MathSciNet  Google Scholar 

  12. B. Sh. Kulpeshov and T. S. Mustafin, Almost ω-categorical weakly o-minimal theories of convexity rank 1,” Sib. Math. J., 62, No. 1, 52-65 (2021).

    Article  Google Scholar 

  13. I. V. Shulepov and S. V. Sudoplatov, “Algebras of distributions for isolating formulas of a complete theory,” Sib. El. Mat. Izv., 11, 380-407 (2014); http://semr.math.nsc.ru/v11/p380-407.pdf.

  14. D. Yu. Emel’yanov, B. Sh. Kulpeshov, and S. V. Sudoplatov, “Algebras of distributions for binary formulas in countably categorical weakly o-minimal structures,” Algebra and Logic, 56, No. 1, 13-36 (2017).

    Article  MathSciNet  Google Scholar 

  15. D. Yu. Emel’yanov, B. Sh. Kulpeshov, and S. V. Sudoplatov, “Algebras of distributions of binary isolating formulas for quite o-minimal theories,” Algebra and Logic, 57, No. 6, 429-444 (2018).

    Article  MathSciNet  Google Scholar 

  16. K. A. Baikalova, D. Yu. Emel’yanov, B. Sh. Kulpeshov, E. A. Palyutin, and S. V. Sudoplatov, “On algebras of distributions of binary isolating formulas for theories of Abelian groups and their ordered enrichments,” Izv. Vyssh. Uch. Zav., Mat., No. 4, 3-15 (2018).

  17. B. S. Baizhanov, “Orthogonality of one-types in weakly o-minimal theories,” in Algebra and Model Theory 2 [in Russian], Novosibirsk State Tech. Univ., Novosibirsk (1999), pp. 3-28.

  18. B. S. Baizhanov and B. Sh. Kulpeshov, “On behaviour of 2-formulas in weakly o-minimal theories,” in Mathematical Logic in Asia, Proc. 9th Asian Logic Conf. (Novosibirsk, Russia, August 16-19, 2005), S. S. Goncharov et al. (eds.), World Scientific, Hackensack, NJ, World Scientific (2006), pp. 31-40.

  19. B. Sh. Kulpeshov, “Countably categorical quite o-minimal theories,” Vestnik NGU, Mat., Mekh., Inf., 11, No. 1, 45-57 (2011).

  20. V. V. Verbovskiy, “On function depth of weakly o-minimal structures and an example of weakly o-minimal structure without weakly o-minimal theory,” in Proc. Inf. Control Problems Inst., Alma-Ata (1996), pp. 207-216.

  21. V. V. Verbovskiy, “On formula depth of weakly o-minimal structures,” in Algebra and Model Theory [in Russian], A. G. Pinus et al. (eds.), Novosibirsk State Tech. Univ., Novosibirsk (1997), pp. 209-223.

  22. B. Sh. Kulpeshov, “Criterion for binarity of ℵ0-categorical weakly o-minimal theories,” Ann. Pure Appl. Logic, 145, No. 3, 354-367 (2007).

    Article  MathSciNet  Google Scholar 

  23. B. Sh. Kulpeshov, “Vaught’s conjecture for weakly o-minimal theories of finite convexity rank,” Izv. Ross. Akad. Nauk, Mat., 84, No. 2, 126-151 (2020).

    MathSciNet  MATH  Google Scholar 

  24. A. B. Altayeva and B. Sh. Kulpeshov, “On almost omega-categoricity of weakly o-minimal theories,” Sib. El. Mat. Izv., 18, No. 1, 247-254 (2021); http://semr.math.nsc.ru/v18/n1/p247-254.pdf.

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematics and Mathematical Modeling, Ministry of Education and Science RK, Al-Farabi Kazakh National University, Alma-Ata, Kazakhstan

    A. B. Altayeva

  2. Kazakh-British Technical University, Institute of Mathematics and Mathematical Modeling, Ministry of Education and Science RK, Alma-Ata, Kazakhstan

    B. Sh. Kulpeshov

  3. Sobolev Institute of Mathematics, Novosibirsk State Technical University. Novosibirsk State University, Novosibirsk, Russia

    S. V. Sudoplatov

Authors
  1. A. B. Altayeva
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. B. Sh. Kulpeshov
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. S. V. Sudoplatov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to A. B. Altayeva.

Additional information

(A. B. Altayeva, B. Sh. Kulpeshov and S. V. Sudoplatov) Supported by KN MON RK (grant No. AP08855544) and by SB RAS Fundamental Research Program I.1.1 (project No. 0314-2019-0002).

Translated from Algebra i Logika, Vol. 60, No. 4, pp. 369-399, July-August, 2021. Russian DOI: https://doi.org/10.33048/alglog.2021.60.401.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Altayeva, A.B., Kulpeshov, B.S. & Sudoplatov, S.V. Algebras of Distributions of Binary Isolating Formulas for Almost ω-Categorical Weakly o-Minimal Theories. Algebra Logic 60, 241–262 (2021). https://doi.org/10.1007/s10469-021-09650-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10469-021-09650-y

Keywords

Search

Navigation