A REAL OF STRICTLY POSITIVE EFFECTIVE PACKING DIMENSION THAT DOES NOT COMPUTE A REAL OF EFFECTIVE PACKING ONE.

Recently, the Dimension Problem for effective Hausdorff dimension was solved by J. Miller in [14], where the author constructs a Turing degree of non-integral Hausdorff-dimension. In this article we settle the Dimension Problem for effective packing dimension by constructing a real of strictly posit...

Full description

Bibliographic Details
Published in:Journal of Symbolic Logic Vol. 77; no. 2; pp. 447 - 475
Main Author: Conidis, Chris J.
Format: Article
Published: Cambridge University Press Jun2012
Subjects:
Online Access:View this record in EBSCOhost