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