
Publications:
 Degrees of Word Problem for Algebras Without Finitely Presented Expansions (with Wu Huishan),
Theory and Applications of Models of Computation 2017, Lecture
Notes in Computer Science, volume 10185, 643653.
 There are no maximal d.c.e. wttdegrees (with M. Yamaleev),
Downey Festschrift, Lecture
Notes in Computer Science, volume 10010, 479486.
 Rudin's Lemma and Reverse Mathematics
(with Ru Junren), Annals of the
Japanese Association for Philosophy of Science 25 (2017), 5766.
 Definable sets in Stone algebras
(with Chen and Shi), Archive for
Mathematical Logic 55 (2016), 749757.
 Nonexistence of minimal pairs in L[d] (with Fang, Liu and Yamaleev),
Computability in Europe 2015,
Lecture
Notes in Computer Science, volume 9136, 177185.

Downward Density of Exact Degrees (with J. Liu and M. Yamaleev),
Lobachevskii Journal of Mathematics 36 (2015), 389398.
 The members of thin and
minimal Pi01 classes, their ranks and Turing degrees (with Downey and Yang), Annals
of Pure and Applied Logic 166 (2015), 755766.
 Initial segment complexities of randomness notions (with Holzl, Kraling and Stephan), Information and Computation 234 (2014), 5767.
 Anticomplex sets and reducibilities with tiny use (with Franklin, Greenberg and Stephan), Journal of
Symbolic Logic 78 (2013), 13071327.
 On a problem of Ishmukhametov
(with C. L. Fang and M. M. Yamaleev), Archive for
Mathematical Logic, 52 (2013), 733741.

On a question of Csima on computationtime domination (with X. Hua and J. Liu), Proceedings of the 12th Asian Logic Confenence (Editors: Downey, Brendle, Goldblatt and Kim), 178184, World Scientific, 2013.
 Highness, Locally Noncappability and Nonboundings (with Frank Stephan), Annals
of Pure and Applied Logic, 164 (2013), 511522.
 Isolation: Motivations and Applications (with M.M. Yamaleev),
Proceedings of Kazan University (Physics and Mathematics Series), 52 (2012), 204217
 Highness and local noncappability (with C.L. Fang and S.L. Wang),
Computability in Europe 2012, Turing Centenary Conference,
Lecture
Notes in Computer Science, volume 7318, 203211.
 Nonhemimaximal Degrees and the high/low
Hierarchy (with Cheng Ling Fang), Journal of
Symbolic Logic 77 (2012), 433446.
 Almost universal cupping and diamond
embeddings (with Jiang Liu), Annals
of Pure and Applied Logic 163 (2012), 717729.
 An almostuniversal cupping degree
(with Jiang Liu),
Journal of Symbolic Logic 76 (2011), 11371152.
 Cupping and diamond embeddings: a
unifying approach (with C.L. Fang and J. Liu),
Computability in Europe 2011, Lecture
Notes in Computer Science, volume 6735, 7180.
 On a hierarchy of pluscupping degrees
(with S.L. Wang),
Computability in Europe 2011, Lecture
Notes in Computer Science, volume 6735, 310318.
 A superhigh diamond in the c.e. ttdegrees
(with D. Cenzer, J. Franklin and J. Liu), Archive for
Mathematical Logic 50 (2011), 3344.
 On the complexity of the successivity
relation in computable linear orderings
(with Rod Downey and Steffen Lempp), Journal of Mathematical Logic 10 (2010), 8399.
 Initial Segment Complexities of
Randomness Notions (with Rupert Holzl, Thorsten Kraling, Frank
Stephan), Proceedings of the 6th IFIP International
Conference on Theoretical Computer Science (IFIP  TCS 2010)
AICT 323, 259–270.
 Diamond embeddings into the enumeration degrees
(with Andrea Sorbi and Yue Yang), Mathematical Structures in Computer Science 20 (2010), 799–811.
 Degrees with almost universal cupping property (with Liu Jiang), Computability in Europe 2010: Programs, Proofs, Processes, Lecture Notes in Computer Science, volume 6158, 266275.
 Joining to high degrees via noncuppables (with Liu Jiang), Archive for Mathematical Logic 49 (2010), 195211.
 Infima of d.r.e. degrees (with Liu Jiang and Wang Shenling), Archive for Mathematical Logic 49 (2010), 3549.

Isolation in the d.c.e. degrees, Proceedings of the 10th Asian Logic Confenence (Eds: Arai, Brendle, Chong, Downey, Feng, Kikyo and Ono), 353374, World Scientific, 2010.
 High minimal pairs in the enumeration degrees (with A. Sorbi and Y. Yang),
6th Annual Conference, Theory and Applications of Model of Computation (TAMC) 2009, Lecture Notes in Computer Science, volume 5532, 335344.
 Cupping Delta02 enumeration degrees to 0'
(with M. Soskova), Mathematical
Structures in Computer Science 19 (2009), 169191.
An
extended abstract of this paper was published in
Computability in Europe 2007, Lecture Notes in Computer Science, volume 4497,
727738.
 Immunity and noncupping for closed sets (with D. Cenzer, T. Kihara and R. Weber), Tbilisi Mathematical Journal 2 (2009), 7794.

Pseudojump operators and Pi01 classes (with D. Cenzer and G. LaForte), Journal of Logic and Computation 19 (2009), 7787. A conference version of this paper was also published in
Computability in Europe 2007, Lecture Notes in Computer Science, volume 4497, 146151.

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, 393420, World Scientific, 2009.

Joining to high degrees (with Liu Jiang), Computability in Europe 2008, Lecture Notes in Computer Science, volume 5028, 370378.

The nonisolating 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, 588596.
.

Isolation, Infima and Diamond Embeddings (with Jiang Liu), Journal of
Logic and Computation 17 (2007), 11531166.
 A minimal pair in the quotient structure
M/NCup (with R. Bie) Computability in Europe 2007, Lecture
Notes in Computer Science, volume 4497, 5362.
 Intervals containing exactly one c.e.
degree, Annals
of Pure and Applied Logic 146 (2007), 91102.

Randomness and universal machines (with S. Figueira and F. Stephan), Journal of Complexity 22 (2006), 738751.

Degrees of weakly computable reals (with K. M. Ng and F. Stephan), Computability in Europe 2006, Lecture Notes in Computer Science, volume 3988, 413422.

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), 149160.

Bounding computably enumerable degrees in the Ershov hierarchy (with Angsheng Li and Yue Yang), Annals of Pure and Applied Logic 141 (2006), 7988.
 Jump operator and Yates degrees, Journal of Symbolic Logic 71 (2006), 252264.
 1Generic splittings of computably enumerable degrees, Annals of Pure and Applied Logic 138 (2006), 211219.

Universal cupping degrees (with Angsheng Li and Yan Song), Theory and Applications of Models of Computation 2006, Lecture Notes in Computer Science, volume 3959, 721730.

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, 731736.
 Presentations of Ktrivial reals and Kolmogorov complexity (with Frank Stephan), Computability in Europe 2005, Lecture Notes in Computer Science volume 3526, 461469.
 Regular reals, Mathematical Logic Quarterly 51 (2005), 111119.
 On the density of the pseudoisolated degrees, Proceedings of London Mathematical Society 88 (2004), 273288.
 Biisolation in the d.c.e. degrees, Journal of Symbolic Logic 69 (2004), 409420.
 Quasicomplements of the cappable degrees, Mathematical Logic Quarterly 50 (2004), 189201.
 Complementing cappable degrees in the difference hierarchy (with Rod Downey and Angsheng Li), Annals of Pure and Applied Logic 125 (2004), 101118.
 Degrees of d.c.e. reals (with Rod Downey and Xizhong Zheng), Mathematical Logic Quarterly 50 (2004) 345350.
 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, 443471.
 Qmeasures on Qκλ, Archive for Mathematical Logic 42 (2003), 201204.
 Isolation and the high/low hierarchy (with Shamil Ishmukhametov), Archive for Mathematical Logic 41 (2002), 259266.
 Nonisolated degrees and the Jump Operator , Annals of Pure and Applied Logic 117 (2002), 209221.
 Isolation and lattice embeddings, Journal of Symbolic Logic 67 (2002), 10551064.
 Prefixfree languages and initial segments of computably enumerable degrees, Computing and Combinatorics 2001, Lecture Notes in Computer Science volume 2108, 576585.
 Isolation and the jump operator, Mathematical Logic Quarterly 47 (2001), 525534.
 A hierarchy for cuppable degrees (with Angsheng Li and Zaiyue Zhang), Illinois Journal Mathematics 44 (2000), 619632.
 Restrictions of filters, preservation of properties, and the weak partition property, Acta Mathematica Sinica 41 (1998), 9991002.
 Nice orderings on the structure Qκλ, Acta Mathematica Sinica 40 (1997), 853856.


Best viewed with Microsoft IE 6.0 and above 