Switch to: References

Add citations

You must login to add citations.
  1. A real of strictly positive effective packing dimension that does not compute a real of effective packing dimension one.Chris J. Conidis - 2012 - Journal of Symbolic Logic 77 (2):447-474.
    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 positive effective packing dimension that does not compute a real of effective packing dimension one (on the other hand, it is known via [10, 3, 7] that every real of strictly positive effective Hausdorff dimension computes reals (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Controlling Effective Packing Dimension of $Delta^{0}_{2}$ Degrees.Jonathan Stephenson - 2016 - Notre Dame Journal of Formal Logic 57 (1):73-93.
    This paper presents a refinement of a result by Conidis, who proved that there is a real $X$ of effective packing dimension $0\lt \alpha\lt 1$ which cannot compute any real of effective packing dimension $1$. The original construction was carried out below $\emptyset''$, and this paper’s result is an improvement in the effectiveness of the argument, constructing such an $X$ by a limit-computable approximation to get $X\leq_{T}\emptyset'$.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Avoiding effective packing dimension 1 below array noncomputable C.e. Degrees.Rod Downey & Jonathan Stephenson - 2018 - Journal of Symbolic Logic 83 (2):717-739.
    Download  
     
    Export citation  
     
    Bookmark