THE INDEX SET OF THE GROUPS AUTOSTABLE RELATIVE TO STRONG CONSTRUCTIVIZATIONS

被引：2

作者：

Goncharov, S. S. ^{[1
]}

Bazhenov, N. A. ^{[1
]}

Marchuk, M. I. ^{[1
]}

机构：

[1] Novosibirsk State Univ, Sobolev Inst Math, Novosibirsk, Russia

来源：

SIBERIAN MATHEMATICAL JOURNAL | 2017年 / 58卷 / 01期

基金：

俄罗斯基础研究基金会;

关键词：

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

D O I：

10.1134/S0037446617010104

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We obtain an exact bound for the algorithmic complexity of the class of strongly constructivizable computable groups that are autostable relative to strong constructivizations.

引用

页码：72 / 77

页数：6

共 50 条

[1] The index set of the groups autostable relative to strong constructivizations
S. S. Goncharov
N. A. Bazhenov
M. I. Marchuk
[J]. Siberian Mathematical Journal, 2017, 58 : 72 - 77
[2] Index Set of Linear Orderings that are Autostable Relative to Strong Constructivizations
Goncharov S.S.
Bazhenov N.A.
Marchuk M.I.
[J]. Journal of Mathematical Sciences, 2017, 221 (6) : 840 - 848
[3] The index set of Boolean algebras autostable relative to strong constructivizations
Goncharov, S. S.
Bazhenov, N. A.
Marchuk, M. I.
[J]. SIBERIAN MATHEMATICAL JOURNAL, 2015, 56 (03) : 393 - 404
[4] The index set of Boolean algebras autostable relative to strong constructivizations
S. S. Goncharov
N. A. Bazhenov
M. I. Marchuk
[J]. Siberian Mathematical Journal, 2015, 56 : 393 - 404
[5] Index Set of Structures with Two Equivalence Relations That Are Autostable Relative to Strong Constructivizations
M. I. Marchuk
[J]. Algebra and Logic, 2016, 55 : 306 - 314
[6] Index Set of Structures with Two Equivalence Relations That Are Autostable Relative to Strong Constructivizations
Marchuk, M. I.
[J]. ALGEBRA AND LOGIC, 2016, 55 (04) : 306 - 314
[7] Index Sets of Constructive Models of Bounded Signature that are Autostable Relative to Strong Constructivizations
S. S. Goncharov
M. I. Marchuk
[J]. Algebra and Logic, 2015, 54 : 108 - 126
[8] Index Sets of Constructive Models of Bounded Signature that are Autostable Relative to Strong Constructivizations
Goncharov, S. S.
Marchuk, M. I.
[J]. ALGEBRA AND LOGIC, 2015, 54 (02) : 108 - 126
[9] Index sets of autostable relative to strong constructivizations constructive models for familiar classes
S. S. Goncharov
N. A. Bazhenov
M. I. Marchuk
[J]. Doklady Mathematics, 2015, 92 : 525 - 527
[10] Index sets of constructive models of nontrivial signature autostable relative to strong constructivizations
Goncharov, S. S.
Marchuk, M. I.
[J]. DOKLADY MATHEMATICS, 2015, 91 (02) : 158 - 159

← 1 2 3 4 5 →