Geodesic
Hierarchy of families of theories and their rank characteristics
The Bulletin of Irkutsk State University. Series Mathematics, Tome 33 (2020), pp. 80-95 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

Studying families of elementary theories produces an information on behavior and interactions of theories inside families, possibilities of generations and their complexity. The complexity is expressed by rank characteristics both for families and their elements inside families. We introduce and describe a hierarchy of families of theories and their rank characteristics including dynamics of ranks. We consider regular families which based on a family of urelements — theories in a given language, and on a step-by-step process producing the required hierarchy. An ordinal-valued set-theoretic rank is used to reflect steps of this process. We introduce the rank RS and related ranks for regular families, with respect to sentence-definable subfamilies and generalizing the known RS-rank for families of urelements, as well as their degrees. Links and dynamics for these ranks and degrees are described on a base of separability of sets of urelements. Graphs and families of neighbourhoods witnessing ranks are introduced and characterized. It is shown that decompositions of families of neighbourhoods and their rank links, for discrete partitions, produce the additivity and the possibility to reduce complexity measures for families into simpler subfamilies.
Keywords: family of theories, closure, urelement, hierarchy, rank
Mots-clés : decomposition. 
@article{IIGUM_2020_33_a5,
     author = {S. V. Sudoplatov},
     title = {Hierarchy of families of theories and their rank characteristics},
     journal = {The Bulletin of Irkutsk State University. Series Mathematics},
     pages = {80--95},
     year = {2020},
     volume = {33},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/IIGUM_2020_33_a5/}
}
TY  - JOUR
AU  - S. V. Sudoplatov
TI  - Hierarchy of families of theories and their rank characteristics
JO  - The Bulletin of Irkutsk State University. Series Mathematics
PY  - 2020
SP  - 80
EP  - 95
VL  - 33
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2020_33_a5/
LA  - en
ID  - IIGUM_2020_33_a5
ER  - 
%0 Journal Article
%A S. V. Sudoplatov
%T Hierarchy of families of theories and their rank characteristics
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2020
%P 80-95
%V 33
%U http://geodesic.mathdoc.fr/item/IIGUM_2020_33_a5/
%G en
%F IIGUM_2020_33_a5
S. V. Sudoplatov. Hierarchy of families of theories and their rank characteristics. The Bulletin of Irkutsk State University. Series Mathematics, Tome 33 (2020), pp. 80-95. http://geodesic.mathdoc.fr/item/IIGUM_2020_33_a5/

[1] Barwise J., Admissible sets and structures. An approach to definability theory, Perspectivities in Mathematical Logic, Springer-Verlag, Berlin–Heidelberg–New York, 1975, 396 pp. | DOI | MR | Zbl

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

[3] Ershov Yu. L., Palyutin E. A., Mathematical logic, Fizmatlit Publ., M., 2011, 356 pp. (in Russian) | MR

[4] J. Barwise (ed.), Handbook of mathematical logic, v. 1, Model Theory, Nauka, M., 1982, 392 pp. (in Russian)

[5] Emelichev V. A., Mel'nikov O. I., Sarvanov V. I., Tyshkevich R. I., Lectures on the graph theory, Nauka, M., 1990, 384 pp. (in Russian) | MR

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

[7] Markhabatov N. D., Sudoplatov S. V., “Algebras for definable families of theories”, Siberian Electronic Mathematical Reports, 16 (2019), 600–608 | DOI | MR | Zbl

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

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

[10] Pavlyuk In.I., Sudoplatov S. V., “Approximations for theories of abelian groups”, Mathematics and Statistics, 8:2 (2020), 220–224 | DOI

[11] Sudoplatov S. V., “Combinations of structures”, The Bulletin of Irkutsk State University. Series “Mathematics”, 24 (2018), 65–84 | DOI | MR

[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., “Combinations related to classes of finite and countably categorical structures and their theories”, Siberian Electronic Mathematical Reports, 14 (2017), 135–150 | DOI | MR | Zbl

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

[15] Sudoplatov S. V., Ranks for families of theories and their spectra, 2019, 17 pp., arXiv: 1901.08464v1 [math.LO] | MR