Standard

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.

Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

Harvard

APA

Vancouver

Goncharov SS, Bazhenov NA, Marchuk MI. The index set of the groups autostable relative to strong constructivizations. Siberian Mathematical Journal. 2017 янв. 1;58(1):72-77. doi: 10.1134/S0037446617010104

Author

BibTeX

@article{ab1f125606274d24832d04bb7a1c7215,
title = "The index set of the groups autostable relative to strong constructivizations",
abstract = "We obtain an exact bound for the algorithmic complexity of the class of strongly constructivizable computable groups that are autostable relative to strong constructivizations.",
keywords = "2-step nilpotent group, autostability, autostability relative to strong constructivizations, computable model, group, hyperarithmetical hierarchy, index set, strongly constructivizable model",
author = "Goncharov, {S. S.} and Bazhenov, {N. A.} and Marchuk, {M. I.}",
year = "2017",
month = jan,
day = "1",
doi = "10.1134/S0037446617010104",
language = "English",
volume = "58",
pages = "72--77",
journal = "Siberian Mathematical Journal",
issn = "0037-4466",
publisher = "MAIK NAUKA/INTERPERIODICA/SPRINGER",
number = "1",

}

RIS

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