This article is cited in 8 papers

The index set of the groups autostable relative to strong constructivizations

S. S. Goncharov^ab, N. A. Bazhenov^ab, M. I. Marchuk<sup>ab

a</sup> Sobolev Institute of Mathematics, Novosibirsk, Russia
^b Novosibirsk State University, Novosibirsk, Russia

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: computable model, strongly constructivizable model, autostability, autostability relative to strong constructivizations, group, $2$-step nilpotent group, hyperarithmetical hierarchy, index set.

UDC: 510.5+512.54.0

MSC: 35R30

Received: 15.07.2016

DOI: 10.17377/smzh.2017.58.110

 English version: Siberian Mathematical Journal, 2017, 58:1, 72–77

Bibliographic databases:

• 
• 
• 
•