|
This article is cited in 9 scientific papers (total in 9 papers)
The index set of the groups autostable relative to strong constructivizations
S. S. Goncharovab, N. A. Bazhenovab, M. I. Marchukab a 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.
Received: 15.07.2016
Citation:
S. S. Goncharov, N. A. Bazhenov, M. I. Marchuk, “The index set of the groups autostable relative to strong constructivizations”, Sibirsk. Mat. Zh., 58:1 (2017), 95–103; Siberian Math. J., 58:1 (2017), 72–77
Linking options:
https://www.mathnet.ru/eng/smj2843 https://www.mathnet.ru/eng/smj/v58/i1/p95
|
Statistics & downloads: |
Abstract page: | 290 | Full-text PDF : | 56 | References: | 49 | First page: | 4 |
|