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