Ranks, spectra and their dynamics for families of constant expansions of theories

Beibut Sh. Kulpeshov   ; Sergey V. Sudoplatov

The Bulletin of Irkutsk State University. Series Mathematics, Tome 45 (2023), pp. 121-137

Résumé

Constant or nonessential extensions of elementary theories provide a productive tool for the study and structural description of models of these theories, which is widely used in Model Theory and its applications, both for various stable and ordered theories, countable and uncountable theories, algebraic, geometric and relational structures and theories. Families of constants are used in Henkin's classical construction of model building for consistent families of formulas, for the classification of uncountable and countable models of complete theories, and for some dynamic possibilities of countable spectra of ordered Ehrenfeucht theories. The paper describes the possibilities of ranks and degrees for families of constant extensions of theories. Rank links are established for families of theories with Cantor-Bendixson ranks for given theories. It is shown that the $e$-minimality of a family of constant expansions of the theory is equivalent to the existence and uniqueness of a nonprincipal type with a given number of variables. In particular, for strongly minimal theories this means that the non-principal $1$-type is unique over an appropriate tuple. Relations between $e$-spectra of families of constant expansions of theories and ranks and degrees are established. A model-theoretic characterization of the existence of the least generating set is obtained. It is also proved that any inessential finite expansion of an o-minimal Ehrenfeucht theory preserves the Ehrenfeucht property, and this is true for constant expansions of dense spherically ordered theories. For the expansions under consideration, the dynamics of the values of countable spectra is described.

Détail

Keywords: family of theories, rank, degree, Ehrenfeucht theory, ordered theory, spherical theory.
Mots-clés : constant expansion

Bibliographie

[1] Baizhanov B.S., “Expansion of a model of a weakly o-minimal theory by a family of unary predicates”, The Journal of Symbolic Logic, 66:3 (2001), 1382–1414 | DOI | MR | Zbl

[2] Chang C.C., Keisler H.J., Model Theory, Dover Publications, Inc, Mineola, New York, 2012, 650 pp.

[3] Ershov Yu.L., Palyutin E.A., Mathematical Logic, Fizmatlit Publ, M., 2011, 356 pp. (in Russian) | MR

[4] Fraïssé R., Theory of relations, North-Holland, Amsterdam, 1986, 451 pp. | Zbl

[5] J. Barwise (ed.), Handbook of Mathematical Logic, v. 1, Model Theory, Nauka Publ., M., 1982, 392 pp. (in Russian)

[6] Hart B., Hrushovski E., Laskowski M.S., “The uncountable spectra of countable theories”, Annals of Mathematics, 152:1 (2000), 207–257 | DOI | MR | Zbl

[7] Henkin L., “The completeness of the first-order functional calculus”, The Journal of Symbolic Logic, 14:3 (1949), 159–166 | DOI | MR | Zbl

[8] Hodges W., Model Theory, Cambridge University Press, Cambridge, 1993, 772 pp. | MR | Zbl

[9] Kulpeshov B.Sh., Sudoplatov S.V., “Vaught's conjecture for quite o-minimal theories”, Annals of Pure and Applied Logic, 168:1 (2017), 129–149 | DOI | MR | Zbl

[10] Kulpeshov B.Sh., Sudoplatov S.V., “Properties of ranks for families of strongly minimal theories”, Siberian Electronic Mathematical Reports, 19:1 (2022), 120–124 | DOI | MR

[11] Kulpeshov B.Sh., Sudoplatov S.V., “Spherical orders, properties and countable spectra of their theories”, Siberian Electronic Mathematical Reports, 20:2 (2023), 588–599 | DOI | MR

[12] Marker D., Model Theory: An Introduction, Graduate texts in Mathematics, 217, Springer-Verlag, New York, 2002, 342 pp. | MR | Zbl

[13] Markhabatov N.D., Sudoplatov S.V., “Ranks for families of all theories of given languages”, Eurasian Mathematical Journal, 12:2 (2021), 52–58 | DOI | MR | Zbl

[14] Markhabatov N.D., Sudoplatov S.V., “Definable subfamilies of theories, related calculi and ranks”, Siberian Electronic Mathematical Reports, 17 (2020), 700–714 | DOI | MR | Zbl

[15] Markhabatov N.D., “Ranks for families of permutation theories”, The Bulletin of Irkutsk State University. Series Mathematics, 28 (2019), 86–95 | DOI | MR

[16] Mayer L.L., “Vaught's conjecture for o-minimal theories”, The Journal of Symbolic Logic, 53:1 (1988), 146–159 | DOI | MR | Zbl

[17] Omarov B., “Nonessential extensions of complete theories”, Algebra and Logic, 22:5 (1983), 390–397 | DOI | MR | Zbl

[18] Pavlyuk In.I., Sudoplatov S.V., “Ranks for families of theories of abelian groups”, The Bulletin of Irkutsk State University. Series Mathematics, 28 (2019), 96–113 | DOI | MR

[19] Pavlyuk In.I., Sudoplatov S.V., “Formulas and properties for families of theories of abelian groups”, The Bulletin of Irkutsk State University. Series Mathematics, 36 (2021), 95–109 | DOI | MR

[20] Pillay A., Geometric Stability Theory, Clarendon Press, Oxford, 1996, 361 pp. | MR | Zbl

[21] Poizat B.P., Cours de théorie des modèles, Nur Al-Mantiq Wal-Ma'rifah, Villeurbane, 1985, 444 pp. | MR

[22] Shelah S., Classification theory and the number of non-isomorphic models, North-Holland, Amsterdam, 1990, 705 pp. | MR | Zbl

[23] Sudoplatov S.V., Tanović P., “Semi-isolation and the strict order property”, Notre Dame Journal of Formal Logic, 56:4 (2015), 555–572 | DOI | MR | Zbl

[24] Sudoplatov S.V., “Closures and generating sets related to combinations of structures”, The Bulletin of Irkutsk State University. Series Mathematics, 16 (2016), 131–144 | MR | Zbl

[25] Sudoplatov S.V., “Families of language uniform theories and their generating sets”, The Bulletin of Irkutsk State University. Series Mathematics, 17 (2016), 62–76 | Zbl

[26] Sudoplatov S.V., “Combinations related to classes of finite and countably categorical structures and their theories”, Siberian Electronic Mathematical Reports, 14 (2017), 135–150 | DOI | MR | Zbl

[27] Sudoplatov S.V., “Relative $e$-spectra and relative closures for families of theories”, Siberian Electronic Mathematical Reports, 14 (2017), 296–307 | DOI | MR | Zbl

[28] Sudoplatov S.V., “On semilattices and lattices for families of theories”, Siberian Electronic Mathematical Reports, 14 (2017), 980–985 | DOI | MR | Zbl

[29] Sudoplatov S.V., Classification of Countable Models of Complete Theories, NSTU Publ, Novosibirsk, 2018

[30] Sudoplatov S.V., “Combinations of structures”, The Bulletin of Irkutsk State University. Series Mathematics, 24 (2018), 82–101 | DOI | MR | Zbl

[31] Sudoplatov S.V., “Approximations of theories”, Siberian Electronic Mathematical Reports, 17 (2020), 715–725 | DOI | MR | Zbl

[32] Sudoplatov S.V., “Hierarchy of families of theories and their rank characteristics”, The Bulletin of Irkutsk State University. Series Mathematics, 33 (2020), 80–95 | DOI | MR | Zbl

[33] Sudoplatov S.V., “Ranks for families of theories and their spectra”, Lobachevskii Journal of Mathematics, 42:12 (2021), 2959–2968 | DOI | MR | Zbl

[34] Sudoplatov S.V., “Arities and aritizabilities of first-order theories”, Siberian Electronic Mathematical Reports, 19:2 (2022), 889–901 | DOI | MR

[35] Tent K., Ziegler M., A Course in Model Theory, Cambridge University Press, Cambridge, 2012, 248 pp. | MR | Zbl

[36] van den Dries L.P.D., Tame Topology and O-minimal Structures, Cambridge University Press, Cambridge, 1998, 182 pp. | DOI | MR | Zbl