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 Yang Yue