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