- with R. Downey. A rank one cohesive set.
*Annals of Pure and Applied Logic*68:161-171, 1994. dvi or postscript. - Iterated trees and fragments of arithmetic.
*Archive for Mathematical Logic*30:97-112, 1995. dvi or postscript. - The thickness lemma for $P^-+I\Sigma_1+\neg B\Sigma_2$.
*The Journal of Symbolic Logic*60:505-511, 1995. dvi or postscript. - with C. T. Chong. $\Sigma_2$ induction and infinite injury priority
arguments, Part I: maximal sets and the jump operator.
*The Journal of Symbolic Logic*to appear. dvi or postscript. - with C. T. Chong. $\Sigma_2$ induction and infinite injury priority
arguments, Part II: Tame $\Sigma_2$ coding and the jump operator.
*Annals of Pure and Applied Logic*87:103-116, 1997. dvi or postscript. - with C. T. Chong. Recursion theory in weak fragments of Peano arithmetic:
A study of cuts.
*Proceedings of Sixth Asian Logic Conference*47-65, 1998. dvi or postscript. - $\Sigma_2$ induction and cuppable degrees.
*Proceedings of Kazan Workshop on Recursion Theory and Complexity Theory*to appear. dvi or postscript. - with C. T. Chong, L. Qian and T.A. Slaman.
$\Sigma_2$ induction and infinite injury priority arguments,
Part III: prompt sets, minimal pairs and the meet operator. preprint.
dvi or
postscript.
- with C. T. Chong and L. Qian. The Friedberg Jump Inversion Theorem Revisited: A Study of Undefinable Cuts. preprint. dvi or postscript.

Back to the home page of the Department of Mathematics

Back to the home page of Yang Yue

Yang Yue <matyangy@leonis.nus.edu.sg> Last Modified: Oct. 14 1998