Исследования по двум основным проблемам универсальной алгебры и теории решеток
Руководитель проекта: Нуракунов А.М.
Исполнители проекта: Козыбаев Д.Х.
Организация: Евразийский национальный университет им. Л.Н.Гумилева
Инвентарный номер: 0212РК02736
Регистрационный номер: 0112РК02245
Ключевые слова: Универсальные Хорновы теории, Решетки квазимногообразий, Конгруэнции, Вычислимые множества,
Определены достаточные условия конечной аксиоматизируемости квазиэквациональной теории множества конечных алгебр, изоморфность решеток квазимногообразий.