An extended Lachlan splitting theorem.Steffen Lempp &Sui Yuefei -1996 -Annals of Pure and Applied Logic 79 (1):53-59.detailsWe show that the top of any diamond with bottom 0 in the r.e. degrees is also the top of a stack of n diamonds with bottom 0.
A New Reducibility between Turing‐ and wtt‐Reducibility.Sui Yuefei -1994 -Mathematical Logic Quarterly 40 (1):106-110.detailsThe project was partially supported by a NSF grant of China. The author was grateful to Professor S. Lempp for his encouragement and suggestion while the author was visiting the Department of Mathematics at the University of Wisconsin.
No categories
The cupping theorem in r/m.Sui Yuefei &Zhang Zaiyue -1999 -Journal of Symbolic Logic 64 (2):643-650.detailsIt will be proved that the Shoenfield cupping conjecture holds in R/M, the quotient of the recursively enumerable degrees modulo the cappable r.e. degrees. Namely, for any [a], [b] ∈ R/M such that [0] $\prec$ [b] $\prec$ [a] there exists [c] ∈ R/M such that [c] $\prec$ [a] and [a] = [b] ∨ [c].