Turing degrees of reals of positive effective packing dimension

被引:17
作者
Downey, Rod [1 ]
Greenberg, Noam [1 ]
机构
[1] Victoria Univ Wellington, Sch Math Stat & Comp Sci, Wellington, New Zealand
关键词
Theory of computation; Effective packing dimension; Array nonrecursive degrees;
D O I
10.1016/j.ipl.2008.05.028
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
A relatively longstanding question in algorithmic randomness is jail Reimann's question whether there is a Turing cone of broken dimension. That is, is there a real A Such that {B: B <= T A} contains no 1-random real, yet contains elements of nonzero effective Hausdorff dimension? We show that the answer is affirmative if HaLlSdorff dimension is replaced by its inner analogue packing dimension. We construct a minimal degree of effective packing dimension 1. This leads us to examine the Turing degrees of reals with positive effective packing dimension. Unlike effective Hausdorff dimension, this is a notion of complexity which is shared by both random and sufficiently generic reals. We provide a characterization of the c.e. array noncomputable degrees in terms of effective packing dimension. (c) 2008 Elsevier B.V. All rights reserved.
引用
收藏
页码:298 / 303
页数:6
相关论文
共 30 条
[21]   Randomness and computability: Open questions [J].
Miller, Joseph S. ;
Nies, Andre .
BULLETIN OF SYMBOLIC LOGIC, 2006, 12 (03) :390-410
[22]  
NIES A, 2006, P IMS WORKSH COMP PR
[23]  
NIES A, COMPUTABILITY UNPUB
[24]  
REIMANN J, 2004, THESIS U HEIDELBERG
[25]  
Sacks G. E., 1971, Proceedings of Symposia in Pure Mathematics, V13, P331
[26]  
Soare R., 1987, RECURSIVELY ENUMERAB
[27]   KOLMOGOROV COMPLEXITY AND HAUSDORFF DIMENSION [J].
STAIGER, L .
INFORMATION AND COMPUTATION, 1993, 103 (02) :159-194
[28]   Computational randomness and lowness [J].
Terwijn, SA ;
Zambella, D .
JOURNAL OF SYMBOLIC LOGIC, 2001, 66 (03) :1199-1205
[29]  
ZAMBELLA DOMENIcO, 1990, ML199005 ILLC U AMST
[30]  
ZIMAND M, 2008, P CSR 2008 MOSC JUN