List of publications for Yang Yue

  1. with R. Downey. A rank one cohesive set. Annals of Pure and Applied Logic 68:161-171, 1994. dvi or postscript.

  2. Iterated trees and fragments of arithmetic. Archive for Mathematical Logic 30:97-112, 1995. dvi or postscript.

  3. The thickness lemma for $P^-+I\Sigma_1+\neg B\Sigma_2$. The Journal of Symbolic Logic 60:505-511, 1995. dvi or postscript.

  4. 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.

  5. 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.

  6. 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.

  7. $\Sigma_2$ induction and cuppable degrees. Proceedings of Kazan Workshop on Recursion Theory and Complexity Theory to appear. dvi or postscript.

  8. 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.

  9. 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