рус 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

Algebras of Binary Isolating Formulas for Tensor Product Theories

Author(s)
Dmitry Yu. Emel’yanov1

1Novosibirsk State Technical University, Novosibirsk, Russian Federation

Abstract
Algebras of distributions of binary isolating and semi-isolating formulae are derived objects for a given theory and reflect binary formula relations between 1-type realizations. These algebras are related to the following natural classification questions: 1) for a given class of theories, determine which algebras correspond to theories from that class, and classify those algebras; 2) classify theories from the class according to the isolating and semi-isolating formulae algebras defined by those theories. The description of a finite algebra of binary isolating formulas unambiguously implies the description of an algebra of binary semi-isolating formulas, which makes it possible to trace the behavior of all binary formula relations of a given theory. The paper describes algebras of binary formulas for tensor products. The Cayley tables are given for the obtained algebras. Based on these tables, theorems are formulated describing all algebras of binary formulae distributions for tensor multiplication theory of regular polygons on an edge. It is shown that they are completely described by two algebras
About the Authors
Dmitry Yu. Emelyanov, Novosibirsk State Technical University, Novosibirsk, 630073, Russian Federation, dima-pavlyk@mail.ru
For citation
Emel’yanov D. Yu. Algebras of Binary Isolating Formulas for Tensor Product Theories. The Bulletin of Irkutsk State University. Series Mathematics, 2022, vol. 41, pp. 131–139. https://doi.org/10.26516/1997-7670.2022.41.131
Keywords
algebra of binary isolating formulas, tensor product, model theory, Cayley tables
UDC
510.67
MSC
03C07, 03C60
DOI
https://doi.org/10.26516/1997-7670.2022.41.131
References
  1. Emel’yanov D.Yu. On the algebra distributions of binary formulas of unary theories. The Bulletin of Irkutsk State University. Series Mathematics, 2016, vol. 17, pp. 23–36. (in Russian)
  2. Emel’yanov D.Yu. Algebras of binary isolating formulas for theories of Cartesian products of graphs. Algebra and model theory 12. Collection of papers. Novosibirsk, NSTU Publ., 2019, pp. 21–31.
  3. Emelyanov D.Yu. Algebra distributions of binary formulas for theories of Archimedean bodies. The Bulletin of Irkutsk State University. Series Mathematics, 2019, vol. 28, pp. 36–52.
  4. Emelyanov D.Y., Sudoplatov S.V. Structure of algebras of binary formulas of polygonometric theories with symmetry condition.Siberian Electronic Mathematical Reports, 2020, vol. 17, pp. 1–20.
  5. Emelyanov D.Y. Algebras of binary isolating formulas for simplex theories. Algebra and Model Theory. Novosibirsk, Edition of NSTU, 2017, pp. 66–74.
  6. Harari F. Graph theory. Moscow, Unitorial URSS Publ., 2003, 300 p.
  7. Hahn G., Sabidussi G. (eds.). Graph symmetry: algebraic methods and applications.Springer, 1997, 418 p.
  8. Shulepov I.V., Sudoplatov S.V. Algebras of distributions for isolating formulas of a complete theory. Siberian Electronic Mathematical Reports, 2014, vol. 11, pp. 380–407.
  9. Sudoplatov S.V. Classification of countable models of complete theories. Part 1. Novosibirsk, NSTU Publ., 2018, 326 p.
  10. Sudoplatov S.V. Hypergraphs of prime models and distributions of countable models of small theories. J. Math. Sciences, 2010, vol. 169, no. 5, pp. 680–695.https://doi.org/10.1007/s10958-010-0069-9

Full text (english)