|
Algebraic and logical methods in computer science and artificial intelligence
Variations of rigidity for ordered theories
Beibut Sh. Kulpeshovabc, Sergey V. Sudoplatovcd a Kazakh British Technical University, Almaty, Kazakhstan
b Institute of Mathematics and Mathematical Modeling, Almaty, Kazakhstan
c Novosibirsk State Technical University, Novosibirsk, Russian Federation
d Sobolev Institute of Mathematics, Novosibirsk, Russian Federation
Abstract:
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.
Keywords:
definable closure, semantic rigidity, syntactic rigidity, degree of rigidity, ordered theory.
Received: 28.07.2023 Revised: 22.02.2024 Accepted: 27.02.2024
Citation:
Beibut Sh. Kulpeshov, Sergey V. Sudoplatov, “Variations of rigidity for ordered theories”, Bulletin of Irkutsk State University. Series Mathematics, 48 (2024), 129–144
Linking options:
https://www.mathnet.ru/eng/iigum569 https://www.mathnet.ru/eng/iigum/v48/p129
|
| Statistics & downloads: |
| Abstract page: | 123 | | Full-text PDF : | 106 | | References: | 43 |
|