The index set of the groups autostable relative to strong constructivizations

The index set of the groups autostable relative to strong constructivizations Full article

Journal

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

Output data

Year: 2017, Volume: 58, Number: 1, Pages: 72-77 Pages count : 6 DOI: 10.1134/S0037446617010104

Tags

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

Authors

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

Affiliations

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

DB	Citing
Scopus	6
OpenAlex	6
Web of science	2