Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование
The index set of the groups autostable relative to strong constructivizations. / Goncharov, S. S.; Bazhenov, N. A.; Marchuk, M. I.
в: Siberian Mathematical Journal, Том 58, № 1, 01.01.2017, стр. 72-77.Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование
}
TY - JOUR
T1 - The index set of the groups autostable relative to strong constructivizations
AU - Goncharov, S. S.
AU - Bazhenov, N. A.
AU - Marchuk, M. I.
PY - 2017/1/1
Y1 - 2017/1/1
N2 - We obtain an exact bound for the algorithmic complexity of the class of strongly constructivizable computable groups that are autostable relative to strong constructivizations.
AB - We obtain an exact bound for the algorithmic complexity of the class of strongly constructivizable computable groups that are autostable relative to strong constructivizations.
KW - 2-step nilpotent group
KW - autostability
KW - autostability relative to strong constructivizations
KW - computable model
KW - group
KW - hyperarithmetical hierarchy
KW - index set
KW - strongly constructivizable model
UR - http://www.scopus.com/inward/record.url?scp=85014701179&partnerID=8YFLogxK
U2 - 10.1134/S0037446617010104
DO - 10.1134/S0037446617010104
M3 - Article
AN - SCOPUS:85014701179
VL - 58
SP - 72
EP - 77
JO - Siberian Mathematical Journal
JF - Siberian Mathematical Journal
SN - 0037-4466
IS - 1
ER -
ID: 9029752