Algebraic and logical methods in computer science and artificial intelligence

Heritability of types of pregeometry with respect to compositions of structures

S. B. Malyshev

Novosibirsk State Technical University, Novosibirsk, Russian Federation

Abstract: In this paper, we investigate how the pregeometry arising from the composition of two predicate signature structures inherits the types of pregeometries of the original stuctures. We establish that in the case of degeneracy, modularity and locally finiteness of a graph signature's pregeometry, the pregeometry of their composition inherits the corresponding properties. We also give counterexamples to the converse statement.

Keywords: pregeometry, structure composition, degeneracy, modularity, locally finite, algebraic closure.

UDC: 510.67

MSC: 03C30, 03C65

Received: 02.07.2024
Revised: 19.11.2024
Accepted: 20.11.2024

DOI: 10.26516/1997-7670.2025.52.162