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 | 83 | 2014 |

Completeness of S4 with respect to the real line: revisited G Bezhanishvili, M Gehrke Annals of Pure and Applied Logic 131 (1-3), 287-301, 2005 | 60 | 2005 |

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 | 56 | 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 | 40 | 2012 |

1-genericity in the enumeration degrees K Copestake The Journal of symbolic logic 53 (3), 878-887, 1988 | 34 | 1988 |

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

Fields medallists' lectures M Atiyah, D Iagolnitzer World scientific, 1997 | 27 | 1997 |

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

The degree of a Σn cut CT Chong, KJ Mourad Annals of pure and applied logic 48 (3), 227-235, 1990 | 25 | 1990 |

Recursion theory CT Chong, L Yu Recursion Theory, 2015 | 24 | 2015 |

Minimal degrees and 1-generic sets below 0′ CT Chong, CG Jockusch Computation and proof theory, 63-77, 1984 | 24 | 1984 |

Lowness of higher randomness notions CT Chong, A Nies, L Yu Israel journal of mathematics 166 (1), 39-60, 2008 | 23 | 2008 |

Minimal degrees recursive in 1-generic degrees CT Chong, RG Downey Annals of Pure and Applied Logic 48 (3), 215-225, 1990 | 22 | 1990 |

Hyperhypersimple α-re sets CT Chong, M Lerman Annals of Mathematical Logic 9 (1-2), 1-48, 1976 | 20 | 1976 |

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 |

Randomness in the higher setting CT Chong, L Yu The Journal of Symbolic Logic 80 (4), 1131-1148, 2015 | 18 | 2015 |

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

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