Спектр универсов теории и строение минимальных структур
Руководитель проекта: Ж.А. Тусупов
Исполнители проекта: Досанбай П.Т.
Организация: Научно-исследовательский институт механики и математики при КазНУ им. аль-Фараби
Инвентарный номер: 0211РК01285
Регистрационный номер: 0109РК00792
Ключевые слова: алгебраические структуры, кольца Ли,
Исследованы нетривиальные определимо минимальные лиевые кольца. Оценена алгоритмическая сложность классов предложений теории с простыми моделями. Исследованы алгоритмические и синтаксические свойства класса структур с двумя бинарными предикатами. Предложен вариант теоремы Райса для простых моделей.