The computable Lipschitz degrees of computably enumerable sets are not dense

被引:8
作者
Day, Adam R. [1 ]
机构
[1] Victoria Univ Wellington, Wellington, New Zealand
关键词
Computable Lipschitz degrees; Algorithmic information theory; Density; Computably enumerable sets;
D O I
10.1016/j.apal.2010.06.008
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
The computable Lipschitz reducibility was introduced by Downey, Hirschfeldt and LaForte under the name of strong weak truth-table reducibility (Downey et al. (2004) [6]). This reducibility measures both the relative randomness and the relative computational power of real numbers. This paper proves that the computable Lipschitz degrees of computably enumerable sets are not dense. An immediate corollary is that the Solovay degrees of strongly c.e. reals are not dense. There are similarities to Barmpalias and Lewis' proof that the identity bounded Turing degrees of c.e. sets are not dense (George Barmpalias, Andrew E.M. Lewis (2006) [2]), however the problem for the computable Lipschitz degrees is more complex. (C) 2010 Elsevier B.V. All rights reserved.
引用
收藏
页码:1588 / 1602
页数:15
相关论文
共 13 条
[1]  
BARMPALIAS G, 2006, NOTRE DAME J FORM L, V47, P197
[2]  
BARMPALIAS G, 2005, COMPUTABLY ENUMERABL, P8
[3]   The ibT degrees of computably enumerable sets are not dense [J].
Barmpalias, George ;
Lewis, Andrew E. M. .
ANNALS OF PURE AND APPLIED LOGIC, 2006, 141 (1-2) :51-60
[4]   Computability results used in differential geometry [J].
Csima, Barbara F. ;
Soare, Robert I. .
JOURNAL OF SYMBOLIC LOGIC, 2006, 71 (04) :1394-1410
[5]   Randomness and reducibility [J].
Downey, RG ;
Hirschfeldt, DR ;
LaForte, G .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2004, 68 (01) :96-114
[6]  
Downey RG, 2010, THEOR APPL COMPUT, P401, DOI 10.1007/978-0-387-68441-3
[7]  
Ladner R. E., 1975, ANN MATH LOGIC, V8, P429
[8]   Random reals and Lipschitz continuity [J].
Lewis, Andrew E. M. ;
Barmpalias, George .
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2006, 16 (05) :737-749
[9]  
Li M., 2008, An Introduction to Kolmogorov Complexity and Its Applications, V3rd
[10]  
Nies A., 2009, Computability and Randomness