Исследования по двум основным проблемам универсальной алгебры и теории решеток
Руководитель проекта: Сыдыков Е.Б.
Исполнители проекта: Нуракунов А.М.*
Организация: Евразийский национальный университет им. Л.Н.Гумилева
Инвентарный номер: 0213РК02417
Регистрационный номер: 0112РК02245
Ключевые слова: проблема конечной аксиоматизируемости*конгруэнц-полудистрибутивные многообразия*квазимногообразия*теория решеток*квазиэквациональная теория*проблема вычислимости*формульная определимость конгруэнций алгебр*
Для исследования проблемы конечной аксиоматизируемости было выделено понятие формульной определимости пересечения главных конгруэнций, которое является центральной частью доказательств известных теорем о конечной аксиоматизируемости. Доказано существование конечных расширений конечных решеток по свойствам булевых алгебр. Основным методом исследования проблем является метод ограничений на решетки (относительных) конгруэнций алгебр. Данные исследования применены для исследования белков вирусов растений.*