Follow
Chi Tat Chong
Chi Tat Chong
Verified email at nus.edu.sg - Homepage
Title
Cited by
Cited by
Year
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
912014
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
642010
Π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
452012
The inductive strength of Ramsey's Theorem for Pairs
CT Chong, TA Slaman, Y Yang
Advances in Mathematics 308, 121-141, 2017
342017
Techniques of admissible recursion theory
CT Chong
Springer, 2006
322006
Recursion theory: Computational aspects of definability
CT Chong, L Yu
Walter de Gruyter GmbH & Co KG, 2015
302015
Lowness of higher randomness notions
CT Chong, A Nies, L Yu
Israel journal of mathematics 166, 39-60, 2008
272008
The degree of a Σn cut
CT Chong, KJ Mourad
Annals of Pure and Applied Logic 48 (3), 227-235, 1990
261990
Minimal degrees recursive in 1-generic degrees
CT Chong, RG Downey
Annals of Pure and Applied Logic 48 (3), 215-225, 1990
251990
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
201976
Randomness in the higher setting
CT Chong, L Yu
The Journal of Symbolic Logic 80 (4), 1131-1148, 2015
192015
Degrees bounding minimal degrees
CT Chong, RG Downey
Mathematical Proceedings of the Cambridge Philosophical Society 105 (2), 211-222, 1989
191989
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
181998
Σ_ {𝑛} definable sets without Σ_ {𝑛} induction
CT Chong, KJ Mourad
Transactions of the American Mathematical Society 334 (1), 349-363, 1992
181992
Nonstandard models in recursion theory and reverse mathematics
CT Chong, W Li, Y Yang
Bulletin of Symbolic Logic 20 (2), 170-200, 2014
172014
Σ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
171998
∑ 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
151997
Generic sets and minimal 𝛼-degrees
CT Chong
Transactions of the American Mathematical Society 254, 157-169, 1979
131979
On the strength of Ramsey's theorem for trees
CT Chong, W Li, W Wang, Y Yang
Advances in Mathematics 369, 107180, 2020
122020
The system can't perform the operation now. Try again later.
Articles 1–20