Виды предгеометрий ациклических теорий

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: 𝑎- pregeometry, 𝑎-modularity, etc. The dependence conditions for an 𝑎-modular and 𝑎- locally finite 𝑎-pregeometry on the number of non-isomorphic trees and special points are established. Sufficient conditions of dependence for a 𝑎-local finite 𝑎-pregeometry on the vertices of the 𝑎-type are established, too.