Index Set of Structures with Two Equivalence Relations That Are Autostable Relative to Strong Constructivizations

被引：6
|
作者：
Marchuk, M. I. [1 ,2 ]
机构：
[1] Sobolev Inst Math, Pr Akad Koptyuga 4, Novosibirsk 630090, Russia
[2] Novosibirsk State Univ, Ul Pirogova 2, Novosibirsk 630090, Russia
来源：
ALGEBRA AND LOGIC | 2016年 / 55卷 / 04期
关键词：
autostability relative to strong constructivizations; computable structure; hyperarithmetical hierarchy; index set; irreflexive directed graph; coding; linear order; strongly constructivizable structure; structure with two equivalence relations; MODELS; SIGNATURE;
D O I：
10.1007/s10469-016-9400-y
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
We derive a bound on the algorithmic complexity for the class of computable structures with two equivalence relations that have a strong constructivization and are autostable relative to strong constructivizations. We construct codings of a linear order and of an automorphically nontrivial directed irreflexive graph into a structure with two equivalence relations. It is proved that such codings preserve the degree spectrum and d-computable dimension.
引用
收藏
页码：306 / 314
页数：9
相关论文
共 17 条
  • [1] 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
  • [2] 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
  • [3] 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
  • [4] 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
  • [5] 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
  • [6] 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
  • [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
12