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