16 found
Sort by:
  1. Liang Yu (2012). Characterizing Strong Randomness Via Martin-Löf Randomness. Annals of Pure and Applied Logic 163 (3):214-224.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Yun Fan & Liang Yu (2011). Maximal Pairs of Ce Reals in the Computably Lipschitz Degrees. Annals of Pure and Applied Logic 162 (5):357-366.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Liang Yu (2011). A New Proof of Friedman's Conjecture. Bulletin of Symbolic Logic 17 (3):455-461.
    We give a new proof of Friedman's conjecture that every uncountable Δ11 set of reals has a member of each hyperdegree greater than or equal to the hyperjump.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  4. Bjørn Kjos-Hanssen, André Nies, Frank Stephan & Liang Yu (2010). Higher Kurtz Randomness. Annals of Pure and Applied Logic 161 (10):1280-1290.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Klaus Ambos-Spies, Decheng Ding, Wei Wang & Liang Yu (2009). Bounding Non- GL ₂ and R.E.A. Journal of Symbolic Logic 74 (3):989-1000.
    We prove that every Turing degree a bounding some non-GL₂ degree is recursively enumerable in and above (r.e.a.) some 1-generic degree.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Liang Yu (2008). Zheng Ju Xiang Guan Xing Yan Jiu =. Beijing da Xue Chu Ban She.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  7. C. T. Chong & Liang Yu (2007). Maximal Chains in the Turing Degrees. Journal of Symbolic Logic 72 (4):1219 - 1227.
    We study the problem of existence of maximal chains in the Turing degrees. We show that: 1. ZF+DC+"There exists no maximal chain in the Turing degrees" is equiconsistent with ZFC+"There exists an inaccessible cardinal"; 2. For all a ∈ 2ω.(ω₁)L[a] = ω₁ if and only if there exists a $\Pi _{1}^{1}[a]$ maximal chain in the Turing degrees. As a corollary, ZFC + "There exists an inaccessible cardinal" is equiconsistent with ZFC + "There is no (bold face) $\utilde{\Pi}{}_{1}^{1}$ maximal chain of (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  8. Rod Downey, Andre Nies, Rebecca Weber & Liang Yu (2006). Lowness and Π₂⁰ Nullsets. Journal of Symbolic Logic 71 (3):1044-1052.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. Rod Downey & Liang Yu (2006). Arithmetical Sacks Forcing. Archive for Mathematical Logic 45 (6):715-720.
    We answer a question of Jockusch by constructing a hyperimmune-free minimal degree below a 1-generic one. To do this we introduce a new forcing notion called arithmetical Sacks forcing. Some other applications are presented.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  10. Yue Yang & Liang Yu (2006). On Σ₁-Structural Differences Among Finite Levels of the Ershov Hierarchy. Journal of Symbolic Logic 71 (4):1223 - 1236.
    We show that the structure R of recursively enumerable degrees is not a Σ₁-elementary substructure of Dn, where Dn (n > 1) is the structure of n-r.e. degrees in the Ershov hierarchy.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  11. Liang Yu (2006). Measure Theory Aspects of Locally Countable Orderings. Journal of Symbolic Logic 71 (3):958 - 968.
    We prove that for any locally countable $\Sigma _{1}^{1}$ partial order P = 〈2ω,≤P〉, there exists a nonmeasurable antichain in P. Some applications of the result are also presented.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  12. Liang Yu (2006). Lowness for Genericity. Archive for Mathematical Logic 45 (2):233-238.
    We study lowness for genericity. We show that there exists no Turing degree which is low for 1-genericity and all of computably traceable degrees are low for weak 1-genericity.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  13. Liang Yu & Yue Yang (2005). On the Definable Ideal Generated by Nonbounding C.E. Degrees. Journal of Symbolic Logic 70 (1):252 - 270.
    Let [NB]₁ denote the ideal generated by nonbounding c.e. degrees and NCup the ideal of noncuppable c.e. degrees. We show that both [NB]₁ ∪ NCup and the ideal generated by nonbounding and noncuppable degrees are new, in the sense that they are different from M, [NB]₁ and NCup—the only three known definable ideals so far.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  14. Liang Yu & Decheng Ding (2004). There Is No SW-Complete C.E. Real. Journal of Symbolic Logic 69 (4):1163 - 1170.
    We prove that there is no sw-complete c.e. real, negatively answering a question in [6].
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  15. Liang Yu, Decheng Ding & Rodney Downey (2004). The Kolmogorov Complexity of Random Reals. Annals of Pure and Applied Logic 129 (1-3):163-180.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  16. Liang Yu & Rod Downey (2004). There Are No Maximal Low D.C.E.~Degrees. Notre Dame Journal of Formal Logic 45 (3):147-159.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation