16 found
Sort by:
Disambiguations:
Wei Wang [9]Weiguang Wang [5]Weiwei Wang [1]Weizhao Wang [1]
  1. Wei Wang (2014). Cohesive Sets and Rainbows. Annals of Pure and Applied Logic 165 (2):389-408.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Wei Wang (2011). Relative Enumerability and 1-Genericity. Journal of Symbolic Logic 76 (3):897 - 913.
    A set of natural numbers B is computably enumerable in and strictly above (or c.e.a. for short) another set C if C < T B and B is computably enumerable in C. A Turing degree b is c.e.a. c if b and c respectively contain B and C as above. In this paper, it is shown that if b is c.e.a. c then b is c.e.a. some 1-generic g.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. 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  
  4. Weiwei Wang (2009). Zhuangzi Xue Pai de Si Xiang Yan Bian Yu Bai Jia Zheng Ming. Ren Min Chu Ban She.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  5. Wei Wang (2008). A Critical Analysis of Structural Realism. Frontiers of Philosophy in China 3 (2):294-306.
    The epistemological version of structural realism, proposed by Cao Tianyu, has great influence in the philosophy of science. Syntheses has published a special volume discussing the topic. Cao criticizes anti-realism, as well as the epistemic and ontic versions of structural realism. From the concepts of structure, ontology, and construction, he analyzes the objectivity of scientific theories as having five aspects: construction, historicity, holism, revision, and revolution. This paper systematically analyzes and comments on Cao's structural realism. The author agrees with his (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  6. Wei Wang & Decheng Ding (2007). On Definable Filters in Computably Enumerable Degrees. Annals of Pure and Applied Logic 147 (1):71-83.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Wei Wang & Decheng Ding (2007). On the Definable Ideal Generated by the Plus Cupping C.E. Degrees. Archive for Mathematical Logic 46 (3-4):321-346.
    In this paper, we will prove that the plus cupping degrees generate a definable ideal on c.e. degrees different from other ones known so far, thus answering a question asked by Li and Yang (Proceedings of the 7th and the 8th Asian Logic Conferences. World Scientific Press, Singapore, 2003).
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  8. Weiguang Wang (2007). Wang Weiguang Zi Xuan Ji =. Xue Xi Chu Ban She.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  9. Keping Yu, Shenming Li & Weiguang Wang (eds.) (2007). Ren de Ji Ben Li Lun Yan Jiu. Zhong Yang Bian Yi Chu Ban She.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  10. Keping Yu, Shenming Li & Weiguang Wang (eds.) (2007). Zong Jiao Guan Yan Jiu. Zhongyang Bian Yi Chu Ban She.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  11. Kiyoko F. Aoki-Kinoshita, Minoru Kanehisa, Ming-Yang Kao, Xiang-Yang Li & Weizhao Wang (2006). Session 2A-Approximation Algorithms-A 6-Approximation Algorithm for Computing Smallest Common AoN-Supertree with Application to the Reconstruction of Glycan Trees. [REVIEW] In O. Stock & M. Schaerf (eds.), Lecture Notes in Computer Science. Springer-Verlag. 100-110.
    No categories
     
    My bibliography  
     
    Export citation  
  12. Jinsong Jiang, Tong Wu & Wei Wang (eds.) (2006). Ke Xue Shi Jian Zhe Xue de Xin Shi Ye. Nei Menggu Ren Min Chu Ban She.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  13. Keping Yu, Shenming Li & Weiguang Wang (eds.) (2006). Quan Qiu Hua Yu Quan Qiu Hua Wen Ti. Zhongyang Bian Yi Chu Ban She.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  14. Keping Yu, Shenming Li, Weiguang Wang, Fuling Zhuang & Shufa Liang (eds.) (2006). Wei Wu Shi Guan de Jian Chi Yu Fa Zhan. Zhong Yang Bian Yi Chu Ban She.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  15. Wei Wang (2004). Ke Xue Zhe Xue Wen Ti Yan Jiu. Qing Hua da Xue Chu Ban She.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  16. Tong Wu, Jingsong Jiang & Wei Wang (eds.) (2004). Ke Xue Ji Shu de Zhe Xue Fan Si. Qing Hua da Xue Chu Ban She.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation