|
Sibirskie Èlektronnye Matematicheskie Izvestiya [Siberian Electronic Mathematical Reports], 2024, Volume 21, Issue 1, Pages 164–177 DOI: https://doi.org/10.33048/semi.2024.21.011
(Mi semr1674)
|
|
|
|
Mathematical logic, algebra and number theory
Properties of concepts of freedom and independence for hypergraphs of models of quite o-minimal theories with few countable models
B. Sh. Kulpeshovabc, S. V. Sudoplatovda a Novosibirsk State Technical University, K. Marx avenue, 20, 630073, Novosibirsk, Russia
b Institute of Mathematics and Mathematical Modeling, Shevchenko street, 28 050010, Almaty, Kazakhstan
c Kazakh British Technical University, Tole bi street, 59, 050000, Almaty, Kazakhstan
d Sobolev Institute of Mathematics, Academician Koptyug avenue, 4,
630090, Novosibirsk, Russia
DOI:
https://doi.org/10.33048/semi.2024.21.011
Abstract:
We study properties of the concepts of freedom and independence for hypergraphs of models of a quite o-minimal theory with few countable models. Conditions for freedom of sets of realizations of isolated and non-isolated types are characterized in terms of the convexity rank. In terms of weak orthogonality, characterizations of the relative independence of sets of realizations of isolated and non-isolated types of convexity rank 1 are obtained. Conditions for freedom and independence of equivalence classes are established, indicating the finite rank of convexity of a non-algebraic isolated type of a given theory. In terms of equivalence classes, the conditions for the relative freedom of isolated and non-isolated types are characterized. In terms of weak orthogonality, characterizations of the relative independence of sets of realizations of isolated and non-isolated types over given equivalence relations are obtained. The transfer of the property of relative freedom of types under the action of definable bijections is proved. It is shown that for the specified conditions the non-maximality of the number of countable models of the theory is essential.
Keywords:
hypergraph of models, quite o-minimality, free set, independent sets.
Received October 15, 2023, published February 28, 2024
Citation:
B. Sh. Kulpeshov, S. V. Sudoplatov, “Properties of concepts of freedom and independence for hypergraphs of models of quite o-minimal theories with few countable models”, Sib. Èlektron. Mat. Izv., 21:1 (2024), 164–177
Linking options:
https://www.mathnet.ru/eng/semr1674 https://www.mathnet.ru/eng/semr/v21/i1/p164
|
|