Geodesic
Ranks for families of theories of abelian groups
The Bulletin of Irkutsk State University. Series Mathematics, Tome 28 (2019), pp. 95-112
Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

The rank for families of theories is similar to Morley rank and can be considered as a measure for complexity or richness of these families. Increasing the rank by extensions of families we produce more rich families and obtaining families with the infinite rank that can be considered as “rich enough”. In the paper, we realize ranks for families of theories of abelian groups. In particular, we study ranks and closures for families of theories of finite abelian groups observing that the set of theories of finite abelian groups in not totally transcendental, i.e., its rank equals infinity. We characterize pseudofinite abelian groups in terms of Szmielew invariants. Besides we characterize $e$-minimal families of theories of abelian groups both in terms of dimension, i.e., the number of independent limits for Szmielew invariants, and in terms of inequalities for Szmielew invariants. These characterizations are obtained both for finite abelian groups and in general case. Furthermore we give characterizations for approximability of theories of abelian groups and show the possibility to count Szmielew invariants via these parameters for approximations. We describe possibilities to form $d$-definable families of theories of abelian groups having given countable rank and degree.
Keywords: family of theories, abelian group, rank, degree, closure. 
@article{IIGUM_2019_28_a6,
     author = {In. I. Pavlyuk and S. V. Sudoplatov},
     title = {Ranks for families of theories of abelian groups},
     journal = {The Bulletin of Irkutsk State University. Series Mathematics},
     pages = {95--112},
     year = {2019},
     volume = {28},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/IIGUM_2019_28_a6/}
}
TY  - JOUR
AU  - In. I. Pavlyuk
AU  - S. V. Sudoplatov
TI  - Ranks for families of theories of abelian groups
JO  - The Bulletin of Irkutsk State University. Series Mathematics
PY  - 2019
SP  - 95
EP  - 112
VL  - 28
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2019_28_a6/
LA  - en
ID  - IIGUM_2019_28_a6
ER  - 
%0 Journal Article
%A In. I. Pavlyuk
%A S. V. Sudoplatov
%T Ranks for families of theories of abelian groups
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2019
%P 95-112
%V 28
%U http://geodesic.mathdoc.fr/item/IIGUM_2019_28_a6/
%G en
%F IIGUM_2019_28_a6
In. I. Pavlyuk; S. V. Sudoplatov. Ranks for families of theories of abelian groups. The Bulletin of Irkutsk State University. Series Mathematics, Tome 28 (2019), pp. 95-112. http://geodesic.mathdoc.fr/item/IIGUM_2019_28_a6/

[1] Eklof P. C., Fischer E. R., “The elementary theory of abelian groups”, Annals of Mathematical Logic, 4 (1972), 115–171 | DOI | MR | Zbl

[2] Ershov Yu.L., Palyutin E. A., Mathematical logic, Fizmatlit Publ., M., 2011 | MR

[3] Koppelberg S., Handbook of Boolean Algebras, v. 1, eds. Monk J. D., Bonnet R., North-Holland, Amsterdam–New York–Oxford–Tokyo, 1989, 342 pp. | MR | Zbl

[4] Macpherson D., “Model theory of finite and pseudofinite groups”, Archive for Mathematical Logic, 57:1–2 (2018), 159–184 | DOI | MR | Zbl

[5] Markhabatov N. D., Sudoplatov S. V., Ranks for families of all theories of given languages, 2019, 9 pp., arXiv: 1901.09903v1 [math.LO] | MR | Zbl

[6] Markhabatov N. D., Sudoplatov S. V., Definable subfamilies of theories and related calculi, 2019, 20 pp., arXiv: 1901.08961v1 [math.LO] | Zbl

[7] Morley M., “Categoricity in Power”, Transactions of the American Mathematical Society, 114:2 (1965), 514–538 | DOI | MR | Zbl

[8] Pavlyuk In.I., Sudoplatov S. V., “Families of theories of abelian groups and their closures”, Bulletin of Karaganda University. Mathematics, 92:4 (2018), 72–78 | DOI

[9] Popkov R. A., “Distribution of countable models for the theory of the group of integers”, Siberian. Math. J., 56:1 (2015), 185–191 | DOI | MR | Zbl

[10] Rosen E., “Some Aspects of Model Theory and Finite Structures”, The Bulletin of Symbolic Logic, 8:3 (2002), 380–403 | DOI | MR | Zbl

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

[12] Sudoplatov S. V., Approximations of theories, 2019, 16 pp., arXiv: 1901.08961v1 [math.LO]

[13] Szmielew W., “Elementary properties of Abelian groups”, Fund. Math., 41 (1955), 203–271 | DOI | MR | Zbl