Assistant Professor Wu Guohua
Publications:
  1. Cupping Delta02 enumeration degrees to 0' (with M. Soskova), Mathematical Structures in Computer Science 19 (2009), 169-191.
    2. An extended abstract of this paper was published in Computability in Europe 2007, Lecture Notes in Computer Science, volume 4497, 727-738.
  2. Pseudojump operators and Pi01 classes (with D. Cenzer and G. LaForte), Journal of Logic and Computation 19 (2009), 77-87. A conference version of this paper was also published in Computability in Europe 2007, Lecture Notes in Computer Science, volume 4497, 146-151.
  3. Cupping computably enumerable degrees in the Ershov hierarchy, Proceedings of the workshop Computational Prospects of Infinity (Eds: Chong, Feng, Slaman, Woodin and Yang), part 2, 393-420.
  4. Joining to high degrees (with Liu Jiang), Computability in Europe 2008, Lecture Notes in Computer Science, volume 5028, 370-378.
  5. The non-isolating degrees are upwards dense in the computably enumerable degrees (with S. Barry Cooper and Matthew C. Salts) Theory and Applications of Models of Computation (TAMC) 2008, Lecture Notes in Computer Science, volume 4978, 588-596. .
  6. Isolation, Infima and Diamond Embeddings (with Jiang Liu), Journal of Logic and Computation 17 (2007), 1153-1166.
  7. A minimal pair in the quotient structure M/NCup (with R. Bie) Computability in Europe 2007, Lecture Notes in Computer Science, volume 4497, 53-62.
  8. Intervals containing exactly one c.e. degree, Annals of Pure and Applied Logic 146 (2007), 91-102.
  9. Randomness and universal machines (with S. Figueira and F. Stephan), Journal of Complexity 22 (2006), 738-751.
  10. Degrees of weakly computable reals (with K. M. Ng and F. Stephan), Computability in Europe 2006, Lecture Notes in Computer Science, volume 3988, 413-422.
  11. A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic (with Zaiyue Zhang, Yuefei Sui and Cungen Cao), Theoretical Computer Science, 368 (2006), 149-160.
  12. Bounding computably enumerable degrees in the Ershov hierarchy (with Angsheng Li and Yue Yang), Annals of Pure and Applied Logic 141 (2006), 79-88.
  13. Jump operator and Yates degrees, Journal of Symbolic Logic 71 (2006), 252-264.
  14. 1-Generic splittings of computably enumerable degrees, Annals of Pure and Applied Logic 138 (2006), 211-219.
  15. Universal cupping degrees (with Angsheng Li and Yan Song), Theory and Applications of Models of Computation 2006, Lecture Notes in Computer Science, volume 3959, 721-730.
  16. On the quotient structure of computably enumerable degrees modulo the noncuppable ideal (with Angsheng Li and Yue Yang), Theory and Applications of Models of Computation 2006, Lecture Notes in Computer Science, volume 3959, 731-736.
  17. Presentations of K-trivial reals and Kolmogorov complexity (with Frank Stephan), Computability in Europe 2005, Lecture Notes in Computer Science volume 3526, 461-469.
  18. Regular reals, Mathematical Logic Quarterly 51 (2005), 111-119.
  19. On the density of the pseudo-isolated degrees, Proceedings of London Mathematical Society 88 (2004), 273-288.
  20. Bi-isolation in the d.c.e. degrees, Journal of Symbolic Logic 69 (2004), 409-420.
  21. Quasi-complements of the cappable degrees, Mathematical Logic Quarterly 50 (2004), 189-201.
  22. Complementing cappable degrees in the difference hierarchy (with Rod Downey and Angsheng Li), Annals of Pure and Applied Logic 125 (2004), 101-118.
  23. Degrees of d.c.e. reals (with Rod Downey and Xizhong Zheng), Mathematical Logic Quarterly 50 (2004) 345-350.
  24. Diamond embeddings into the d.c.e. degrees with 0 and 1 preserved, Proceedings of the 7th and 8th Asian Logic Conferences, World Scientific, 2003, 443-471.
  25. Q-measures on Qκλ, Archive for Mathematical Logic 42 (2003), 201-204.
  26. Isolation and the high/low hierarchy (with Shamil Ishmukhametov), Archive for Mathematical Logic 41 (2002), 259-266.
  27. Nonisolated degrees and the Jump Operator , Annals of Pure and Applied Logic 117 (2002), 209-221.
  28. Isolation and lattice embeddings, Journal of Symbolic Logic 67 (2002), 1055-1064.
  29. Prefix-free languages and initial segments of computably enumerable degrees, Computing and Combinatorics 2001, Lecture Notes in Computer Science volume 2108, 576-585.
  30. Isolation and the jump operator, Mathematical Logic Quarterly 47 (2001), 525-534.
  31. A hierarchy for cuppable degrees (with Angsheng Li and Zaiyue Zhang), Illinois Journal Mathematics 44 (2000), 619-632.
  32. Restrictions of filters, preservation of properties, and the weak partition property, Acta Mathematica Sinica 41 (1998), 999-1002.
  33. Nice orderings on the structure Qκλ, Acta Mathematica Sinica 40 (1997), 853-856.

Best viewed with Microsoft IE 6.0 and above