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 | 91 | 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 | 64 | 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 | 46 | 2012 |

The inductive strength of Ramsey's Theorem for Pairs CT Chong, TA Slaman, Y Yang Advances in Mathematics 308, 121-141, 2017 | 35 | 2017 |

Techniques of admissible recursion theory CT Chong Springer, 2006 | 32 | 2006 |

Recursion theory: Computational aspects of definability CT Chong, L Yu Walter de Gruyter GmbH & Co KG, 2015 | 31 | 2015 |

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 | 26 | 1990 |

Minimal degrees recursive in 1-generic degrees CT Chong, RG Downey Annals of Pure and Applied Logic 48 (3), 215-225, 1990 | 25 | 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 | 25* | 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 |

Degrees bounding minimal degrees CT Chong, RG Downey Mathematical Proceedings of the Cambridge Philosophical Society 105 (2), 211-222, 1989 | 19 | 1989 |

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 | 18 | 1998 |

Σ_ {𝑛} definable sets without Σ_ {𝑛} induction CT Chong, KJ Mourad Transactions of the American Mathematical Society 334 (1), 349-363, 1992 | 18 | 1992 |

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 argument, Part I: Maximal sets and the jump operator CT Chong, Y Yang The Journal of Symbolic Logic 63 (3), 797-814, 1998 | 17 | 1998 |

∑ 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 |