Topologies and ranks for families of theories in various languages
The Bulletin of Irkutsk State University. Series Mathematics, Tome 40 (2022), pp. 78-92 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

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 $T_0$-topologies, $T_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.
Keywords: topology, rank, family of theories, language.
@article{IIGUM_2022_40_a5,
     author = {Sergey V. Sudoplatov},
     title = {Topologies and ranks for families of theories in various languages},
     journal = {The Bulletin of Irkutsk State University. Series Mathematics},
     pages = {78--92},
     year = {2022},
     volume = {40},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/IIGUM_2022_40_a5/}
}
TY  - JOUR
AU  - Sergey V. Sudoplatov
TI  - Topologies and ranks for families of theories in various languages
JO  - The Bulletin of Irkutsk State University. Series Mathematics
PY  - 2022
SP  - 78
EP  - 92
VL  - 40
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2022_40_a5/
LA  - en
ID  - IIGUM_2022_40_a5
ER  - 
%0 Journal Article
%A Sergey V. Sudoplatov
%T Topologies and ranks for families of theories in various languages
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2022
%P 78-92
%V 40
%U http://geodesic.mathdoc.fr/item/IIGUM_2022_40_a5/
%G en
%F IIGUM_2022_40_a5
Sergey V. Sudoplatov. Topologies and ranks for families of theories in various languages. The Bulletin of Irkutsk State University. Series Mathematics, Tome 40 (2022), pp. 78-92. http://geodesic.mathdoc.fr/item/IIGUM_2022_40_a5/

[1] Engelking R., General topology, Heldermann Verlag Publ, Berlin, 1989, 529 pp. | MR | MR | Zbl

[2] Kulpeshov B.Sh., Sudoplatov S. V., “Properties of ranks for families of strongly minimal theories”, Siberian Electronic Mathematical Reports, 19:1 (2022), 120–124 | DOI | MR | Zbl

[3] Markhabatov N. D., “Ranks for families of permutation theories”, The Bulletin of Irkutsk State University. Series Mathematics, 28 (2019), 86–95 | DOI | MR

[4] Markhabatov N. D., Sudoplatov S. V., “Topologies, ranks, and closures for families of theories. I”, Algebra and Logic, 59:6 (2021), 437–455 | DOI | MR | Zbl

[5] Markhabatov N. D., Sudoplatov S. V., “Topologies, ranks, and closures for families of theories. II”, Algebra and Logic, 60:1 (2021), 38–52 | DOI | MR | Zbl

[6] Markhabatov N. D., Sudoplatov S. V., “Ranks for families of all theories of given languages”, Eurasian Mathematical Journal, 12:2 (2021), 52–58 | DOI | MR | Zbl

[7] Markhabatov N. D., Sudoplatov S. V., “Definable subfamilies of theories, related calculi and ranks”, Siberian Electronic Mathematical Reports, 17 (2020), 700–714 | DOI | MR | Zbl

[8] Morley M., “Categoricity in power”, Trans. Amer. Math. Soc., 114:2 (1965), 514–538 | DOI | MR | Zbl

[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, 36 (2021), 95–109 | DOI | MR | Zbl

[10] Pavlyuk In.I., Sudoplatov S. V., “Ranks for families of theories of abelian groups”, The Bulletin of Irkutsk State University. Series Mathematics, 28 (2019), 95–112 | DOI | MR | Zbl

[11] Sacks G. E., Saturated model theory, World Scientific, New Jersey–London–Singapore–Beijing–Shanghai–Hong Kong–Taipei–Chennai, 2009, 220 pp.

[12] Sudoplatov S. V., “Closures and generating sets related to combinations of structures”, The Bulletin of Irkutsk State University. Series Mathematics, 16 (2016), 131–144 | MR | Zbl

[13] Sudoplatov S. V., “Ranks for families of theories and their spectra”, Lobachevskii Journal of Mathematics, 42:12 (2021), 2959–2968 | DOI | MR | Zbl

[14] Sudoplatov S. V., “Hierarchy of families of theories and their rank characteristics”, The Bulletin of Irkutsk State University. Series Mathematics, 33 (2020), 80–95 | DOI | MR | Zbl

[15] Sudoplatov S. V., “Formulas and properties, their links and characteristics”, Mathematics, 9:12 (2021), 1391 | DOI

[16] Sudoplatov S. V., “Special relations for formulas, their equivalence relations and theories”, Siberian Electronic Mathematical Reports, 19:1 (2022), 259–272 | DOI | MR | Zbl

[17] Sudoplatov S. V., “Approximations of theories”, Siberian Electronic Mathematical Reports, 17 (2020), 715–725 | DOI | MR | Zbl