PROPERTIES OF HYPERGRAPHS OF MODELS OF WEAKLY O-MINIMAL THEORIES

In this paper, we study the notions of relative H-freedom and relative H-independence for hypergraphs of models of weakly o-minimal theories. Hypergraphs of models of a theory are derived objects that allow obtaining essential structural information both about the theories themselves and about related semantic objects. Recall that a hypergraph is any pair of sets (X, Y), where Y is some subset of the Boolean P(X) of a set X. In this case, the set X is called the support of the hypergraph (X, Y), and elements from Y are called edges of the hypergraph (X, Y). Weak o-minimality was originally deeply investigated by D. Macpherson, D. Marker, and C. Steinhorn. In the nineties of the last century, Kazakhstan scientists successfully joined the study of this concept, solving a number of problems posed by the authors. In this paper, we continue the study of model-theoretic properties of weakly o-minimal structures. A criterion for relative H-freedom of the set of realizations of non-algebraic 1-type in almost omega-categorical weakly o-minimal theories is obtained in terms of convexity rank. We also establish a criterion for relative H-independence of the sets of realizations of two non-algebraic 1-types in almost omega-categorical weakly o-minimal theories in terms of weak orthogonality of 1-types.

1. Sudoplatov S.V. (2018) Classification of countable models of complete theories, part 1. Novosibirsk: Novosibirsk State Technical University Publishing House, 326 p. ISBN 978-5-7782-3527-4

2. Sudoplatov S.V. Ob aciklicheskih gipergrafah minimal'nyh prostyh modelej, Sibirskij matematicheskij zhurnal, vol. 42, no. 6, pp. 1408–1412.

3. Sudoplatov S.V. (2009) Gipergrafy prostyh modelej i raspredelenija schetnyh modelej malyh teorij, Fundamental'naja i prikladnaja matematika, vol. 15, no. 7, pp. 179–203.

4. Bajkalova K.A. (2009) O nekotoryh gipergrafah prostyh modelej i porozhdaemyh imi predel'nyh modeljah, Algebra i teorija modelej 7 : sb. nauch. tr. / pod. redakciej A.G. Pinusa, K.N. Ponomareva, S.V. Sudoplatova. Novosibirsk: Izdatel'stvo NGTU, pp. 6–17.

5. Sudoplatov S.V. (2016) On the separability of elements and sets in hypergraphs of models of a theory, Vestnik Karagandinskogo universiteta, vol. 82, no. 2, pp. 113–120.

6. Kulpeshov B.Sh., Sudoplatov S.V. (2018) On relative separability in hypergraphs of models of theories, Eurasian Mathematical Journal, vol. 9, no. 4, pp. 68–78.

7. Kulpeshov B.Sh., Sudoplatov S.V. (2018) On freedom and independence in hypergraphs of models of theories, Siberian Electronic Mathematical Reports, vol. 15, pp. 612–630.

8. Macpherson H.D., Marker D., Steinhorn Ch. (2000) Weakly o-minimal structures and real closed fields, Transactions of the American Mathematical Society, vol. 352, no. 6, pp. 5435–5483.

9. Baizhanov B.S. (2001) Expansion of a model of a weakly o-minimal theory by a family of unary predicates, The Journal of Symbolic Logic, vol. 66, pp. 1382–1414.

10. Ikeda K., Pillay A., Tsuboi A. (1998) On theories having three countable models, Mathematical Logic Quarterly, vol. 44, issue 2, pp. 161–166.

11. Peretyatkin M.G. (1980) Theories with three countable models, Algebra and Logic, vol. 19, no. 2, pp. 224–235.

12. Kulpeshov B.Sh., Sudoplatov S.V. (2017) Linearly ordered theories near to countably categorical, Mathematical Notes, vol. 101, no. 3, pp. 413–424.

13. Altayeva A.B., Kulpeshov B.Sh. (2020) Binarity of almost ω-categorical quite o-minimal theories, Siberian Mathematical Journal, vol. 61, no. 3, pp. 484–498.

14. Kulpeshov B.Sh., Mustafin T.S. (2021) Almost ω-categorical weakly o-minimal theories of convexity rank 1, Siberian Mathematical Journal, vol. 62, no. 1, pp. 65–81.

15. Altayeva A.B., Kulpeshov B.Sh. (2021) On almost omega-categoricity of weakly o-minimal theories, Siberian Electronic Mathematical Reports, vol. 18, no. 1, pp. 247–254.

16. Kulpeshov B.Sh. (2021) A criterion for binarity of almost ω -categorical weakly o-minimal theories, Siberian Mathematical Journal, vol. 62, no. 6, pp. 1063–1075.

17. Woodrow R.E. (1976) Theories with a finite number of countable models and a small language, Ph. D. Thesis, Simon Fraser University, 99 p.