RUS  ENG
Full version
JOURNALS // Bulletin of Irkutsk State University. Series Mathematics // Archive

Bulletin of Irkutsk State University. Series Mathematics, 2023 Volume 46, Pages 110–120 (Mi iigum548)

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.

UDC: 510.67

MSC: 03C30, 03C65, 51D05

Received: 26.05.2023
Revised: 01.10.2023
Accepted: 03.10.2023

Language: English

DOI: 10.26516/1997-7670.2023.46.110



© Steklov Math. Inst. of RAS, 2024