|
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
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.
Received: 26.05.2023 Revised: 01.10.2023 Accepted: 03.10.2023
Citation:
Sergey B. Malyshev, “Kinds of pregeometries of acyclic theories”, Bulletin of Irkutsk State University. Series Mathematics, 46 (2023), 110–120
Linking options:
https://www.mathnet.ru/eng/iigum548 https://www.mathnet.ru/eng/iigum/v46/p110
|
|