The index set of the groups autostable relative to strong constructivizations | Sciact - Система учета научной деятельности ИМ СО РАН

The index set of the groups autostable relative to strong constructivizations Научная публикация

Журнал

Siberian Mathematical Journal
ISSN: 0037-4466 , E-ISSN: 1573-9260

Вых. Данные

Год: 2017, Том: 58, Номер: 1, Страницы: 72-77 Страниц : 6 DOI: 10.1134/S0037446617010104

Ключевые слова

2-step nilpotent group; autostability; autostability relative to strong constructivizations; computable model; group; hyperarithmetical hierarchy; index set; strongly constructivizable model

Авторы

Goncharov S.S. ^1,2 , Bazhenov N.A. ^1,2 , Marchuk M.I. ^1,2

Организации

1	Sobolev Institute of Mathematics, Novosibirsk State University, Novosibirsk, Russian Federation
2	Novosibirsk State University

We obtain an exact bound for the algorithmic complexity of the class of strongly constructivizable computable groups that are autostable relative to strong constructivizations. © 2017, Pleiades Publishing, Ltd.

Goncharov S.S. , Bazhenov N.A. , Marchuk M.I.
The index set of the groups autostable relative to strong constructivizations
Siberian Mathematical Journal. 2017. V.58. N1. P.72-77. DOI: 10.1134/S0037446617010104 WOS Scopus OpenAlex

Web of science:	WOS:000396065100010
Scopus:	2-s2.0-85014701179
OpenAlex:	W2593684134

БД	Цитирований
Scopus	6
OpenAlex	6
Web of science	2