Обобщенно вычислимые модели
Руководитель проекта: Н.Г.Хисамиев
Исполнители проекта: Н.Г.Хисамиев
Организация: Вост.-Каз. техн. ун-т им. Д.М. Серикбаева
Инвентарный номер: 0205РК00659
Регистрационный номер: 0103РК00570
Ключевые слова: Группы [мат.], Нильпотентные группы, Абелевы группы, Упорядоченные группы [мат.], Конструктивизируемые группы [мат.],
Установлено, что класс конструктивизируемых групп, являющихся прямыми суммами циклических и квазициклических групп, вычислим, но не 1-вычислим. Доказано существование конструктивизаций и упорядочиваний для абелевых групп без кручения, свободных нильпотентных групп, групп унитреугольных матриц над конструктивизируемым упорядоченным ассоциативным коммутативным кольцом с единицей. Выявлено соотношение конструктивизируемости и сильной конструктивизируемости для упорядоченных множеств, являющихся порядковыми типами упорядоченных групп.