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