рус 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». 2022. Vol 41

Kinds of Pregeometries of Cubic Theories

Author(s)
Sergey B. Malyshev1

1Novosibirsk State Technical University, Novosibirsk, Russian Federation

Abstract
The description of the types of geometries is one of the main problems in the structural classification of algebraic systems. In addition to the well-known classical geometries, a deep study of the main types of pregeometries and geometries was carried out for classes of strongly minimal and 𝜔-stable structures. These studies include, first of all, the works of B.I. Zilber and G. Cherlin, L. Harrington, A. Lachlan in the 1980s. Early 1980s B.I. Zilber formulated the well-known conjecture that the pregeometries of strongly minimal theories are exhausted by the cases of trivial, affine, and projective pregeometries. This hypothesis was refuted by E. Hrushovski, who proposed an original construction of a strongly minimal structure that is not locally modular and for which it is impossible to interpret an infinite group. The study of types of pregeometries continues to attract the attention of specialists in modern model theory, including the description of the geometries of various natural objects, in particular, Vamos matroids.

In this paper we consider pregeometries for cubic theories with algebraic closure operator. And we notice that for pregeometries ⟨𝑆, acl⟩ in cubic theories, the substitution property holds if and only if the models of the theory do not contain infinite cubes, in particular, when there are no finite cubes of unlimited dimension. By virtue of this remark, we introduce new concepts of 𝑐-dimension, 𝑐-pregeometry, 𝑐-triviality, 𝑐- modularity, 𝑐-projectivity and 𝑐-locally finiteness. And besides, we prove the dichotomy theorem for the types of 𝑐-pregeometries.

About the Authors
Sergey B. Malyshev, Novosibirsk State Technical University, Novosibirsk, 630073, Russian Federation, sergei2-mal1@yandex.ru
For citation
Malyshev S. B. Kinds of Pregeometries of Cubic Theories. The Bulletin of Irkutsk State University. Series Mathematics, 2022, vol. 41, pp. 140–149. https://doi.org/10.26516/1997-7670.2022.41.140
Keywords
pregeometry, cubic theory, 𝑐-pregeometry, 𝑐-triviality, 𝑐-modularity, 𝑐-projectivity, 𝑐-locally finiteness
UDC
510.67
MSC
03C30, 03C65, 51D05
DOI
https://doi.org/10.26516/1997-7670.2022.41.140
References
  1. Berenstein A., Vassiliev E. On lovely pairs of geometric structures. Annals of Pure and Applied Logic, 2010, vol. 161, no. 7, pp. 866–878. https://doi.org/10.1016/j.apal.2009.10.004
  2. Berenstein A., Vassiliev E. Weakly one-based geometric theories. Symb. Logic, 2012, vol. 77, no. 2, pp. 392–422. https://doi.org/10.2178/jsl/1333566629
  3. Berenstein A., Vassiliev E. Geometric structures with a dense independent subset.Selecta Math., 2016, vol. 22, no. 1, pp. 191–225. https://doi.org/10.1007/s00029-015-0190-1
  4. Cherlin G.L., Harrington L., Lachlan A.H. 𝜔-categorical, 𝜔-stable structures. Annals of Pure and Applied Logic, 1986, vol. 28, pp. 103–135.https://doi.org/10.1016/0168-0072(85)90023-5
  5. Chang C.C., Keisler H.J. Model theory. Third edition of XLI 697. Studies in logic and the foundations of mathematics, vol. 73. Elsevier, 1990, 650 p. https://doi.org/10.1016/S0049-237X(13)72058-5
  6. Hodges W. Model theory. Encyclopedia of Mathematics and its Applications, vol. 42. Cambridge University Press, 1994, 772 p.
  7. Hrushovski E. A new strongly minimal set. Annals of Pure and Applied Logic, 1993, vol. 62, pp. 147–166. https://doi.org/10.1016/0168-0072(93)90171-9
  8. 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
  9. Mukhopadhyay M.M., Vassiliev E. On the Vamos matroid, homogeneous pregeometries and dense pairs. Australian Journal of Combinatorics, 2019, vol. 75, no. 1,pp. 158–170.
  10. Pillay A. Geometric Stability Theory. Oxford, Clarendon Press Publ., 1996, 361 p.
  11. Sudoplatov S.V. Group polygonometries, Novosibirsk, NSTU Publ., 2013, 302 p.
  12. Sudoplatov S.V. Models of cubic theories. Bulletin of the Section of Logic, 2014, vol. 43, no. 1–2, pp. 19–34.
  13. Sudoplatov S.V. Closures and generating sets related to combinations of structures. Bulletin of Irkutsk State University. Series Mathematics, 2016, vol. 16, pp. 131–144.
  14. Zilber B.I. The structure of models of 𝜔1-categorical theories. Proceedings of International Congress of Mathematicians, 35968. Warsaw, PWN, 1983.
  15. Zilber B.I. Uncountably categorical theories. AMS Translations of Mathematical Monographs, 1993, vol. 117.
  16. Zilber B.I. Strongly minimal countably categorical theories. Sibirsk Matematika Zhurnal, 1980, vol. 21, no. 2. pp. 98–112. https://doi.org/10.3828/extr.1980.21.2.98
  17. Zilber B.I. Strongly minimal countably categorical theories II. Sibirsk Matematika Zhurnal, 1984, vol. 25, no. 3, pp. 71–88. https://doi.org/10.1016/S0033-3182(84)73099-4

Full text (english)