Embedding of countable orders in Turing degrees

被引:0
|
作者
Ishmukhametov, ST [1 ]
机构
[1] Ulyanovsk State Univ, Ulyanovsk, Russia
基金
俄罗斯基础研究基金会;
关键词
recursive function; Turing degrees; embedding method; ordering; lattice;
D O I
10.1023/A:1021400820931
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
In their classical papers, Lerman, Lachlan, and Lebeuf developed the embedding method, which provides constructions of initial segments of Turing degrees isomorphic to various partially ordered structures. We analyze this method and prove that there is a nonzero degree below each decreasing chain of degrees uniform in 0'. This imposes restrictions on the application of the embedding method.
引用
收藏
页码:631 / 635
页数:5
相关论文
共 50 条
  • [21] The w-Turing degrees
    Sariev, Andrey C.
    Ganchev, Hristo
    ANNALS OF PURE AND APPLIED LOGIC, 2014, 165 (09) : 1512 - 1532
  • [22] Embedding of countable topological semigroups in simple countable connected topological semigroups
    Gutik O.V.
    Journal of Mathematical Sciences, 2001, 104 (5) : 1422 - 1427
  • [23] Maximal chains in the Turing degrees
    Chong, C. T.
    Yu, Liang
    JOURNAL OF SYMBOLIC LOGIC, 2007, 72 (04) : 1219 - 1227
  • [24] EXPANSIONS OF MODELS AND TURING DEGREES
    KNIGHT, J
    NADEL, M
    JOURNAL OF SYMBOLIC LOGIC, 1982, 47 (03) : 587 - 604
  • [25] On relative enumerability of Turing degrees
    Ishmukhametov, S
    ARCHIVE FOR MATHEMATICAL LOGIC, 2000, 39 (03) : 145 - 154
  • [26] On relative enumerability of Turing degrees
    Shamil Ishmukhametov
    Archive for Mathematical Logic, 2000, 39 : 145 - 154
  • [27] Constructive Dimension and Turing Degrees
    Laurent Bienvenu
    David Doty
    Frank Stephan
    Theory of Computing Systems, 2009, 45 : 740 - 755
  • [28] Constructive Dimension and Turing Degrees
    Bienvenu, Laurent
    Doty, David
    Stephan, Frank
    THEORY OF COMPUTING SYSTEMS, 2009, 45 (04) : 740 - 755
  • [29] TURING DEGREES AND THE ERSHOV HIERARCHY
    Stephan, Frank
    Yang, Yue
    Yu, Liang
    PROCEEDINGS OF THE 10TH ASIAN LOGIC CONFERENCE, 2010, : 300 - +
  • [30] JUMP EMBEDDINGS IN THE TURING DEGREES
    HINMAN, PG
    SLAMAN, TA
    JOURNAL OF SYMBOLIC LOGIC, 1991, 56 (02) : 563 - 591