рус eng
«THE BULLETIN OF IRKUTSK STATE UNIVERSITY». SERIES «MATHEMATICS»
«IZVESTIYA IRKUTSKOGO GOSUDARSTVENNOGO UNIVERSITETA». SERIYA «MATEMATIKA»
ISSN 1997-7670 (Print)
ISSN 2541-8785 (Online)

List of issues > Series «Mathematics». 2021. Vol. 36

Formulas and Properties for Families of Theories of Abelian Groups

Author(s)
In.I. Pavlyuk, S.V.Sudoplatov
Abstract

First-order formulas reflect an information for semantic and syntactic properties. Links between formulas and properties define their existential and universal interrelations which produce both structural and topological possibilities for characteristics classifying families of semantic and syntactic objects. We adapt general approaches describing links between formulas and properties for families of Abelian groups and their theories defining possibilities for characteristics of formulas and properties including rank values. This adaptation is based on formulas reducing each formula to an appropriate Boolean combination of given ones defining Szmielew invariants for theories of Abelian groups. Using this basedness we describe a trichotomy of possibilities for the rank values of sentences defining neighbourhoods for the set of theories of Abelian groups: the rank can be equal −1, 0, or ∞. Thus the neighbourhoods are either finite or contain continuum many theories. Using the trichotomy we show that each sentence defining a neighbourhood either belongs to finitely many theories or it is generic. We introduce the notion of rich property and generalize the main results for these properties.

About the Authors

Inessa Pavlyuk, Cand. Sci. (Phys.–Math.), Senior Lecturer, Chair of Algebra and Mathematical Logic, Novosibirsk State Technical University, 20, K. Marx Avenue, Novosibirsk, 630073, Russian Federation, tel.: (383)346-11-66; Assoc. Prof., Chair of Informatics and Discrete Mathematics, Novosibirsk State Pedagogical University, 28, Vilyuiskaya street, Novosibirsk, 630126, Russian Federation, tel. (383)244-15-86, email: inessa7772@mail.ru

Sergey Sudoplatov, Dr. Sci. (Phys.–Math.), Assoc. Prof.; Leading researcher, Sobolev Institute of Mathematics SB RAS, 4, Academician Koptyug Avenue, Novosibirsk, 630090, Russian Federation, tel.: (383)329-75-86; Head of Chair, Novosibirsk State Technical University, 20, K. Marx Avenue, Novosibirsk, 630073, Russian Federation, tel.: (383)346-11-66, email: sudoplat@math.nsc.ru

For citation

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

Keywords
formula, property, elementary theory, abelian group, rank.
UDC
510.67:512.541
MSC
03C30, 03C15, 03C50, 54A05
DOI
https://doi.org/10.26516/1997-7670.2021.36.95
References
  1. Eklof P.C., Fischer E.R. The elementary theory of abelian groups. Annals of Mathematical Logic, 1972, vol. 4, pp. 115-171. https://doi.org/10.1016/0003-4843(72)90013-7
  2. Ershov Yu.L., Palyutin E.A. Mathematical logic. Moscow, Fizmatlit Publ., 2011, 356 p. [in Russian]
  3. Markhabatov N.D., Sudoplatov S.V. Ranks for families of all theories of given languages. Eurasian Mathematical Journal, 2021 (to appear). arXiv:1901.09903v1 [math.LO], 2019, 9 p.
  4. 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
  5. 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
  6. Palyutin E.A. Spectrum and Structure of Models of Complete Theories. Handbook of mathematical logic. Vol. 1. Model Theory. Ed. by J. Barwise. Moscow, Nauka Publ., 1982, pp. 320-387. [in Russian]
  7. Pavlyuk In.I., Sudoplatov S.V. Families of theories of abelian groups and their closures. Bulletin of Karaganda University. Mathematics, 2018, vol. 92, no. 4, pp. 72-78.
  8. 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
  9. Pavlyuk In.I., Sudoplatov S.V. Approximations for theories of abelian groups. Mathematics and Statistics, 2020, vol. 8, no. 2, pp. 220-224. https://doi.org/10.13189/ms.2020.080218
  10. Poizat B. Groupes Stables. Villeurbanne, Nur Al-MantiqWal-Mari’fah, 1987, 216 p.
  11. Sudoplatov S.V. Formulas and properties. arXiv:2104.00468v1 [math.LO], 2021, 16 p.
  12. Sudoplatov S.V. Ranks for families of theories and their spectra. Lobachevskii Journal of Mathematics (to appear). arXiv:1901.08464v1 [math.LO], 2019, 17 p.
  13. 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
  14. 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.
  15. 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
  16. Szmielew W. Elementary properties of Abelian groups. Fundamenta Mathematicae, 1955, vol. 41, pp. 203-271. https://doi.org/10.4064/fm-41-2-203-271
  17. Tent K., Ziegler M. A Course in Model Theory. Lecture Notes in Logic, no. 40. Cambridge, Cambridge University Press, 2012, 248 p.
  18. Truss J.K. Generic Automorphisms of Homogeneous Structures. Proceedings of the London Mathematical Society, 1992, vol. 65, no. 3, pp. 121-141. https://doi.org/10.1112/plms/s3-65.1.121

Full text (english)