Гончаров С. С., Баженов Н. А., Марчук М. И.
Индексное множество автоустойчивых относительно сильных конструктивизаций групп

Получена точная оценка алгоритмической сложности для класса сильно конструктивизируемых вычислимых групп, автоустойчивых относительно сильных конструктивизаций.

S. S. Goncharov, N. A. Bazhenov, M. I. Marchuk
The index set of the groups autostable relative to strong constructivizations

We obtain an exact bound for the algorithmic complexity of the class of strongly constructivizable computable groups that are autostable relative to strong constructivizations.

DOI 10.17377/smzh.2017.58.110
Ключевые слова: вычислимая модель, сильно конструктивизируемая модель, автоустойчивость, автоустойчивость относительно сильных конструктивизаций, группа, 2-ступенно нильпотентная группа, гиперарифметическая иерархия, индексное множество.

Полный текст статьи / Full texts:

• PDF file
• PostScript file