Тьюрингова вычислимость и определимость
Full Name of the work head: С.А.Бадаев
Исполнители проекта: Н.Г.Хисамиев
: НИИ мех. и мат. при КазНУ
Inventory number: 0209РК01110
Registration number: 0107РК00611
Keywords: Роджерса полурешетки, Нильпотентные группы, Вычислимости теория,
Исследована связь между мощностью полурешеток Роджерса вычислимых семейств вычислимо перечислимых множеств и идентифицируемостью этих семейств по сценарию корректного поведения (ТхtВС-идентифицируемость). Получены критерии конструктивизируемости различных классов нильпотентных групп. Показано существование ТхtВС-идентифицируемых семейств вычислимо перечислимых множеств, имеющих бесконечно много предельно не эквивалентных нумераций, а также семейств, вычислимые нумерации которых предельно эквивалентны. Приведен критерий конструктивизируемости нильпотентной группы без кручения ступени 2, размерность коммутанта которой конечна. Доказана вычислимость класса нильпотентных групп без кручения ступени 2, размерность коммутантов которых конечна.