On the definable ideal generated by the plus cupping c.e. degrees. - Wei Wang 345; Decheng Ding (Arch. Math. Log., 2007)

On definable filters in computably enumerable degrees. - Wei Wang 345; Decheng Ding (Ann. Pure Appl. Log., 2007)

Bounding non-GL2 and R.E.A. - Klaus Ambos-Spies; Decheng Ding; Wei Wang 345; Liang Yu 004 (J. Symb. Log., 2009)