The metamathematics of stable Ramsey’s theorem for pairs C Chong, T Slaman, Y Yang Journal of the American Mathematical Society 27 (3), 863-892, 2014 | 94 | 2014 |
On the role of the collection principle for Σ⁰₂-formulas in second-order reverse mathematics C Chong, S Lempp, Y Yang Proceedings of the American Mathematical Society 138 (3), 1093-1100, 2010 | 69 | 2010 |
Π11-conservation of combinatorial principles weaker than Ramsey’s theorem for pairs CT Chong, TA Slaman, Y Yang Advances in Mathematics 230 (3), 1060-1077, 2012 | 51 | 2012 |
The inductive strength of Ramsey's Theorem for Pairs CT Chong, TA Slaman, Y Yang Advances in Mathematics 308, 121-141, 2017 | 37 | 2017 |
Recursion theory: Computational aspects of definability CT Chong, L Yu Walter de Gruyter GmbH & Co KG, 2015 | 34 | 2015 |
Techniques of admissible recursion theory CT Chong Springer, 2006 | 32 | 2006 |
Lowness of higher randomness notions CT Chong, A Nies, L Yu Israel journal of mathematics 166, 39-60, 2008 | 27 | 2008 |
The degree of a Σn cut CT Chong, KJ Mourad Annals of Pure and Applied Logic 48 (3), 227-235, 1990 | 27 | 1990 |
Minimal degrees recursive in 1-generic degrees CT Chong, RG Downey Annals of Pure and Applied Logic 48 (3), 215-225, 1990 | 26 | 1990 |
Minimal degrees and 1-generic sets below 0′ CT Chong, CG Jockusch Computation and Proof Theory: Proceedings of the Logic Colloquium held in …, 1984 | 26* | 1984 |
Hyperhypersimple α-re sets CT Chong, M Lerman Annals of Mathematical Logic 9 (1-2), 1-48, 1976 | 20 | 1976 |
Randomness in the higher setting CT Chong, L Yu The Journal of Symbolic Logic 80 (4), 1131-1148, 2015 | 19 | 2015 |
Recursion theory on weak fragments of Peano arithmetic: a study of definable cuts CT Chong, Y Yang Proceedings of the sixth Asian Logic Conference, 47-65, 1998 | 19 | 1998 |
Σ2 induction and infinite injury priority argument, Part I: Maximal sets and the jump operator CT Chong, Y Yang The Journal of Symbolic Logic 63 (3), 797-814, 1998 | 18 | 1998 |
Σ_ {𝑛} definable sets without Σ_ {𝑛} induction CT Chong, KJ Mourad Transactions of the American Mathematical Society 334 (1), 349-363, 1992 | 18 | 1992 |
Degrees bounding minimal degrees CT Chong, RG Downey Mathematical Proceedings of the Cambridge Philosophical Society 105 (2), 211-222, 1989 | 18 | 1989 |
Nonstandard models in recursion theory and reverse mathematics CT Chong, W Li, Y Yang Bulletin of Symbolic Logic 20 (2), 170-200, 2014 | 17 | 2014 |
∑ 2 Induction and infinite injury priority arguments, part II Tame∑ 2 coding and the jump operator CT Chong, Y Yang Annals of Pure and Applied Logic 87 (2), 103-116, 1997 | 15 | 1997 |
On the strength of Ramsey's theorem for trees CT Chong, W Li, W Wang, Y Yang Advances in Mathematics 369, 107180, 2020 | 13 | 2020 |
Generic sets and minimal 𝛼-degrees CT Chong Transactions of the American Mathematical Society 254, 157-169, 1979 | 13 | 1979 |