Обобщенно вычислимые модели
Full Name of the work head: Н.Г.Хисамиев
Исполнители проекта: Н.Г.Хисамиев
: Вост.-Каз. техн. ун-т им. Д.М. Серикбаева
Inventory number: 0204РК01002
Registration number: 0103РК00570
Keywords: Группы [мат.], Вычислимость групп, Упорядоченные группы,
Объект исследования: вычислимость матричных, нильпотентных и упорядоченных конструктивных групп. Решена проблема существования: (сильной) вычислимости общей (унитреугольной, специальной) матричной группы; периодической абелевой группы, разлагающейся в прямую сумму циклических групп; нильпотентной группы. Установлено соотношение между конструктивизируемостью и сильной конструктивизируемостью для линейно упорядоченных множеств, являющихся порядковыми типами упорядоченных групп.
