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 条