Алгебро-логические методы в информатике и искусственный интеллект

Наследуемость типов предгеометрий относительно композиций структур

С. Б. Малышев

Новосибирский государственный технический университет, Новосибирск, Российская Федерация

Аннотация: Исследуется, как предгеометрия, возникающая при композиции двух структур предикатной сигнатуры, наследует виды предгеометрий изначальных структур. Устанавливаеся, что в случае вырожденности, модулярности и локально конечности предгеометрии графовой сигнатуры предгеометрия их композиции наследует соответствующие свойства. Также приводятся контрпримеры обратного утверждения.

Ключевые слова: предгеометрия, композиция структур, вырожденность, модулярность, локально конечность, алгебраическое замыкание.

УДК: 510.67

MSC: 03C30, 03C65

Поступила в редакцию: 02.07.2024
Исправленный вариант: 19.11.2024
Принята в печать: 20.11.2024

DOI: 10.26516/1997-7670.2025.52.162