On the turing degrees of divergence bounded computable reals

被引:0
|
作者
Rettinger, R [1 ]
Zheng, XZ
机构
[1] Fern Univ Hagen, D-58084 Hagen, Germany
[2] Jiangsu Univjiauni, Dept Comp Sci, Zhenjiang 212013, Peoples R China
[3] BTU Cottbus, D-03044 Cottbus, Germany
来源
NEW COMPUTATIONAL PARADIGMS | 2005年 / 3526卷
关键词
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
The d-c.e. (difference of c.e.) and dbc (divergence bounded computable) reals are two important subclasses of Delta(0)(2)-reals which have very interesting computability-theoretical as well as very nice analytical properties. Recently, Downey, Wu and Zheng [2] have shown by a double witness technique that not every Delta(0)(2)-Turing degree contains a d-c.e. real. In this paper we show that the classes of Turing degrees of d-c.e., dbc and Delta(0)(2) reals are all different.
引用
收藏
页码:418 / 428
页数:11
相关论文
共 50 条