Index sets of constructive models that are autostable under strong constructivizations

被引：0

作者：

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

Marchuk M.I. ^{[2
]}

机构：

[1] Sobolev Institute of Mathematics SB RAS, 4, pr. Akad. Koptyuga, Novosibirsk

[2] Novosibirsk State University, 2, ul. Pirogova, Novosibirsk

来源：

Journal of Mathematical Sciences | 2015年 / 205卷 / 3期

关键词：

Computable Function; Constructive Model; Predicate Symbol; Constant Symbol; Computable Numbering;

D O I：

10.1007/s10958-015-2253-4

中图分类号：

学科分类号：

摘要：

We obtain estimates for the algorithmic complexity of index sets for the class of decidable autostable models and the class of computable models that possess strong constructivizations and are autostable under strong constructivizations. © 2015, Springer Science+Business Media New York.

引用

页码：368 / 388

页数：20

共 50 条

[1] 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
[2] 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
[3] 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
[4] 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
[5] Index sets of autostable relative to strong constructivizations constructive models for familiar classes
Goncharov, S. S.
Bazhenov, N. A.
Marchuk, M. I.
[J]. DOKLADY MATHEMATICS, 2015, 92 (02) : 525 - 527
[6] Index sets of constructive models of nontrivial signature autostable relative to strong constructivizations
S. S. Goncharov
M. I. Marchuk
[J]. Doklady Mathematics, 2015, 91 : 158 - 159
[7] INDEX SETS OF CONSTRUCTIVE MODELS OF FINITE AND GRAPH SIGNATURES THAT ARE AUTOSTABLE RELATIVE TO STRONG CONSTRUCTIVIZATIONS
Goncharov, S. S.
Marchuk, M. I.
[J]. ALGEBRA AND LOGIC, 2016, 54 (06) : 428 - 439
[8] Index Sets of Constructive Models of Finite and Graph Signatures that are Autostable Relative to Strong Constructivizations
S. S. Goncharov
M. I. Marchuk
[J]. Algebra and Logic, 2016, 54 : 428 - 439
[9] THE INDEX SET OF THE GROUPS AUTOSTABLE RELATIVE TO STRONG CONSTRUCTIVIZATIONS
Goncharov, S. S.
Bazhenov, N. A.
Marchuk, M. I.
[J]. SIBERIAN MATHEMATICAL JOURNAL, 2017, 58 (01) : 72 - 77
[10] 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

← 1 2 3 4 5 →