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, 2023, Volume 46, Pages 110–120
DOI: https://doi.org/10.26516/1997-7670.2023.46.110
(Mi iigum548)
 

This article is cited in 3 scientific papers (total in 3 papers)

Algebraic and logical methods in computer science and artificial intelligence

Kinds of pregeometries of acyclic theories

Sergey B. Malyshev

Novosibirsk State Technical University, Novosibirsk, Russian Federation
Full-text PDF (687 kB) Citations (3)
References:
Abstract: The article is devoted to the description of types of pregeometries with an algebraic closure operator for acyclic theories. In these theories we describe conditions of violation of the exchange property for a pregeometry. Taking into account these conditions, we introduce new concepts that do not rely on the exchange property: $a$-pregeometry, $a$-modularity, etc. The dependence conditions for an $a$-modular and $a$-locally finite $a$-pregeometry on the number of non-isomorphic trees and special points are established. Sufficient conditions of dependence for a $a$-local finite $a$-pregeometry on the vertices of the $a$-type are established, too.
Keywords: pregeometry, cyclic theory, $a$-pregeometry, $a$-modularity, $a$-locally finite, special vertices, $A$-special vertices.
Funding agency Grant number
Russian Science Foundation 22-21-00044
The work was supported by Russian Scientific Foundation, Project No. 22-21-00044.
Received: 26.05.2023
Revised: 01.10.2023
Accepted: 03.10.2023
Document Type: Article
UDC: 510.67
MSC: 03C30, 03C65, 51D05
Language: English
Citation: Sergey B. Malyshev, “Kinds of pregeometries of acyclic theories”, Bulletin of Irkutsk State University. Series Mathematics, 46 (2023), 110–120
Citation in format AMSBIB
\Bibitem{Mal23}
\by Sergey~B.~Malyshev
\paper Kinds of pregeometries of acyclic theories
\jour Bulletin of Irkutsk State University. Series Mathematics
\yr 2023
\vol 46
\pages 110--120
\mathnet{http://mi.mathnet.ru/iigum548}
\crossref{https://doi.org/10.26516/1997-7670.2023.46.110}
Linking options:
  • https://www.mathnet.ru/eng/iigum548
  • https://www.mathnet.ru/eng/iigum/v46/p110
  • This publication is cited in the following 3 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2025