Bulletin of Irkutsk State University. Series Mathematics
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Bulletin of Irkutsk State University. Series Mathematics:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Bulletin of Irkutsk State University. Series Mathematics, 2017, Volume 20, Pages 32–44
DOI: https://doi.org/10.26516/1997-7670.2017.20.32
(Mi iigum303)
 

This article is cited in 1 scientific paper (total in 1 paper)

On deterministic and absorbing algebras of binary formulas of polygonometrical theories

D. Yu. Emelyanova, S. V. Sudoplatovabcd

a Novosibirsk State University, 1, Pirogov st., Novosibirsk, 630090
b Novosibirsk State Technical University, 20, K. Marx av., Novosibirsk, 630073
c Sobolev Institute of Mathematics SB RAS, 4, Academician Koptyug Avenue, Novosibirsk, 630090
d Institute of Mathematics and Mathematical Modeling, 125, Pushkina st., Almaty, Kazakhstan, 050010
Full-text PDF (381 kB) Citations (1)
References:
Abstract: Algebras of distributions of binary isolating and semi-isolating formulas are derived structures for a given theory. These algebras reflect binary links between realizations of $1$-types defined by formulas of the initial theory. Thus these are two sorts of interrelated classification problems: 1) to define, for a given class of theories, what algebras correspond to theories in this class and to classify these algebras; 2) to classify theories in the class in the dependence of algebras of isolating and semi-isolating algebras that defined by these theories. For the finite algebras of binary isolating formulas that description implies the description for the algebra of binary semi-isolating formulas.
In the paper, we investigate deterministic, almost deterministic, and absorbing algebras of binary formulas of polygonometrical theories.
The properties of determinism and almost determinism for algebras of binary isolating formulas of polygonometrical theories are characterized. As corollary we have that any group generates a deterministic algebra of a polygonometrical theory. The notion of $n$-almost deterministic algebra is introduced, examples and properties of these algebras are stated. A description of these algebras for theories of graphs of regular polyhedrons is given. It is shown that any group is a side-group of a trigonometry with $2$-absorbing algebra of binary isolating formulas.
Keywords: algebra of binary formulas, deterministic algebra, absorbing algebra, polygonometrical theory.
Bibliographic databases:
Document Type: Article
UDC: 510.67:514.116
Language: Russian
Citation: D. Yu. Emelyanov, S. V. Sudoplatov, “On deterministic and absorbing algebras of binary formulas of polygonometrical theories”, Bulletin of Irkutsk State University. Series Mathematics, 20 (2017), 32–44
Citation in format AMSBIB
\Bibitem{EmeSud17}
\by D.~Yu.~Emelyanov, S.~V.~Sudoplatov
\paper On deterministic and absorbing algebras of binary formulas of polygonometrical theories
\jour Bulletin of Irkutsk State University. Series Mathematics
\yr 2017
\vol 20
\pages 32--44
\mathnet{http://mi.mathnet.ru/iigum303}
\crossref{https://doi.org/10.26516/1997-7670.2017.20.32}
Linking options:
  • https://www.mathnet.ru/eng/iigum303
  • https://www.mathnet.ru/eng/iigum/v20/p32
  • This publication is cited in the following 1 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Statistics & downloads:
    Abstract page:2896
    Full-text PDF :43
    References:33
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024