List of issues > Series «Mathematics». 2022. Vol 40
Topologies and Ranks for Families of Theories
in Various Languages
1Sobolev Institute of Mathematics, Novosibirsk, Russian Federation
2Novosibirsk State Technical University, Novosibirsk, Russian Federation
Topological properties and characteristics of families of theories reflect possibilities of separation of theories and a complexity both for theories and their neighbourhoods. Previously, topologies were studied for families of complete theories, in general case and for a series of natural classes, and for various families of incomplete theories in a fixed language. The ranks were defined and described for complete theories in a given language, for a hierarchy of theories, for families of incomplete theories, for formulae and for a series of natural families of theories, including families of ordered theories, families of theories of permutations and families of theories of abelian groups.
In this paper, we study properties and characteristics for topologies and ranks for families of theories in various languages. It is based on special relations connecting formulae in a given language. These relations are used to define and describe kinds of separations with respect to 𝑇0-topologies, 𝑇sub>1-topologies and Hausdorff topologies. Besides special relations are used to define and study ranks for families of theories in various languages. Possibilities of values for the rank are described, and these possibilities are characterized in topological terms.
https://doi.org/10.26516/1997-7670.2022.40.78
1. Engelking R. General topology. Berlin, Heldermann Verlag Publ., 1989, 529 p.
2. Kulpeshov B.Sh., Sudoplatov S.V. Properties of ranks for families of strongly minimal theories. Siberian Electronic Mathematical Reports, 2022, vol. 19, no. 1, pp. 120–124. https://doi.org/10.33048/semi.2022.19.011
3. Markhabatov N.D. Ranks for families of permutation theories. The Bulletin of Irkutsk State University. Series Mathematics, 2019, vol. 28, pp. 86–95. https://doi.org/10.26516/1997-7670.2019.28.85
4. Markhabatov N.D., Sudoplatov S.V. Topologies, ranks, and closures for families of theories. I. Algebra and Logic, 2021, vol. 59, no. 6, pp. 437–455. https://doi.org/10.1007/s10469-021-09620-4
5. Markhabatov N.D., Sudoplatov S.V. Topologies, ranks, and closures for families of theories. II. Algebra and Logic, 2021, vol. 60, no. 1, pp. 38–52. https://doi.org/10.1007/s10469-021-09626-y
6. Markhabatov N.D., Sudoplatov S.V. Ranks for families of all theories of given languages. Eurasian Mathematical Journal, 2021, vol. 12, no. 2, pp. 52–58. https://doi.org/10.32523/2077-9879-2021-12-2-52-58
7. Markhabatov N.D., Sudoplatov S.V. Definable subfamilies of theories, related calculi and ranks. Siberian Electronic Mathematical Reports, 2020, vol. 17, pp. 700–714. https://doi.org/10.33048/semi.2020.17.048
8. Morley M. Categoricity in power. Trans. Amer. Math. Soc., 1965, vol. 114, no. 2, pp. 514–538.
9. Pavlyuk In.I., Sudoplatov S.V. Formulas and properties for families of theories of Abelian groups. The Bulletin of Irkutsk State University. Series Mathematics, 2021, vol. 36, pp. 95–109. https://doi.org/10.26516/1997-7670.2021.36.95
10. Pavlyuk In.I., Sudoplatov S.V. Ranks for families of theories of abelian groups. The Bulletin of Irkutsk State University. Series Mathematics, 2019, vol. 28, pp. 95–112. https://doi.org/10.26516/1997-7670.2019.28.95
11. Sacks G.E. Saturated model theory, New Jersey, London, Singapore, Beijing, Shanghai, Hong Kong, Taipei, Chennai, World Scientific, 2009, 220 p.
12. Sudoplatov S.V. Closures and generating sets related to combinations of structures. The Bulletin of Irkutsk State University. Series Mathematics, 2016, vol. 16, pp. 131–144.
13. Sudoplatov S.V. Ranks for families of theories and their spectra. Lobachevskii Journal of Mathematics, 2021, vol. 42, no. 12, pp. 2959–2968. https://doi.org/10.1134/S1995080221120313
14. Sudoplatov S.V. Hierarchy of families of theories and their rank characteristics. The Bulletin of Irkutsk State University. Series Mathematics, 2020, vol. 33, pp. 80–95.https://doi.org/10.26516/1997-7670.2020.33.80
15. Sudoplatov S.V. Formulas and properties, their links and characteristics. Mathematics, 2021, vol. 9, iss. 12, 1391. https://doi.org/10.3390/math9121391
16. Sudoplatov S. V. Special relations for formulas, their equivalence relations and theories. Siberian Electronic Mathematical Reports, 2022, vol. 19, no. 1, pp. 259– 272. https://doi.org/10.33048/semi.2022.19.020
17. Sudoplatov S.V. Approximations of theories. Siberian Electronic Mathematical Reports, 2020, vol. 17, pp. 715–725. https://doi.org/10.33048/semi.2020.17.049