Index Sets of Constructive Models of Bounded Signature that are Autostable Relative to Strong Constructivizations

被引：7
|
作者：
Goncharov, S. S. [1 ,2 ]
Marchuk, M. I. [1 ]
机构：
[1] Sobolev Inst Math, Novosibirsk 630090, Russia
[2] Novosibirsk State Univ, Novosibirsk 630090, Russia
来源：
ALGEBRA AND LOGIC | 2015年 / 54卷 / 02期
关键词：
model; computable model; constructive model; autostability; index sets;
D O I：
10.1007/s10469-015-9331-z
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
We evaluate algorithmic complexity of the class of computable models of bounded signature that have a strong constructivization and are autostable relative to strong constructivizations.
引用
收藏
页码：108 / 126
页数：19
相关论文
共 18 条
  • [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 nontrivial signature autostable relative to strong constructivizations
    Goncharov, S. S.
    Marchuk, M. I.
    [J]. DOKLADY MATHEMATICS, 2015, 91 (02) : 158 - 159
  • [3] 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
  • [4] 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
  • [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 that are autostable under strong constructivizations
    Goncharov S.S.
    Marchuk M.I.
    [J]. Journal of Mathematical Sciences, 2015, 205 (3) : 368 - 388
  • [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
12