Variations of rigidity for ordered theories

Beibut Sh. Kulpeshov   ; Sergey V. Sudoplatov

The Bulletin of Irkutsk State University. Series Mathematics, Tome 48 (2024), pp. 129-144

Résumé

One of the important characteristics of structures is degrees of semantic and syntactic rigidity, as well as indices of rigidity, showing how much the given structure differs from semantically rigid structures, i.e., structures with one-element automorphism groups, as well as syntactically rigid structures, i.e., structures covered by definable closure of the empty set. Issues of describing the degrees and indices of rigidity represents interest both in a general context and in relation to ordering theories and their models. In the given paper, we study possibilities for semantic and syntactic rigidity for ordered theories, i.e., the rigidity with respect to automorphism group and with respect to definable closure. We describe values for indices and degrees of semantic and syntactic rigidity for well-ordered sets, for discrete, dense, and mixed orders and for countable models of $\aleph_0$-categorical weakly o-minimal theories. All possibilities for degrees of rigidity for countable linear orderings are described.

Détail

Keywords: definable closure, semantic rigidity, syntactic rigidity, degree of rigidity, ordered theory.

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 (2001), 1382–1414 | DOI | MR | Zbl

[2] Cameron P.J., “Groups of order-automorphisms of the rationals with prescribed scale type”, Journal of Mathematical Psychology, 33:2 (1989), 163–171 | DOI | MR | Zbl

[3] Darji U.B., Elekes M., Kalina K., Kiss V., Vidnyánszky Z., “The structure of random automorphisms of the rational numbers”, Fundamenta Mathematicae, 250 (2020), 1–20 | DOI | MR | Zbl

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

[5] Glass A.M.W., Ordered permutation groups, London Mathematical Society Lecture Note Series, 55, Cambridge University Press, Cambridge–New York, 1981, 266 pp. | MR | Zbl

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

[7] Kulpeshov B.Sh., Sudoplatov S.V., “$P$-combinations of ordered theories”, Lobachevskii Journal of Mathematics, 41:2 (2020), 227–237 | DOI | MR | Zbl

[8] Kuratowski K., Mostowski A., Set Theory, Studies in logic and the foundations of mathematics, 38, North-Holland, Amsterdam, 1968, 424 pp. | MR

[9] Macpherson H.D., Marker D., Steinhorn C., “Weakly o-minimal structures and real closed fields”, Transactions of the American Mathematical Society, 352:12 (2000), 5435–5483 | DOI | MR | Zbl

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

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

[12] Rosenstein J.G., “$\aleph_0$-categoricity of linear orderings”, Fundamenta Mathematicae, 64 (1969), 1–5 | DOI | MR | Zbl

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

[14] Sudoplatov S.V., Algebraic closures and their variations, 2023, 16 pp., arXiv: 2307.12536 [math.LO]

[15] Sudoplatov S.V., “Variations of rigidity”, Bulletin of Irkutsk State University, Series Mathematics, 47 (2024), 119–136 | DOI | MR

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

[17] Truss J.K., “Generic automorphisms of homogeneous structures”, Proceedings of the London Mathematical Society, 65:1 (1992), 121–141 | DOI | MR | Zbl