Switch to: References

Add citations

You must login to add citations.
  1. 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  
  • Shift-complex sequences.Mushfeq Khan - 2013 - Bulletin of Symbolic Logic 19 (2):199-215.
    A Martin-Löf random sequence is an infinite binary sequence with the property that every initial segment $\sigma$ has prefix-free Kolmogorov complexity $K$ at least $|\sigma| - c$, for some constant $c \in \omega$. Informally, initial segments of Martin-Löf randoms are highly complex in the sense that they are not compressible by more than a constant number of bits. However, all Martin-Löf randoms necessarily have contiguous substrings of arbitrarily low complexity. If we demand that all substrings of a sequence be uniformly (...)
    Download  
     
    Export citation  
     
    Bookmark