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
832014
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
602005
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
562010
Π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
402012
1-genericity in the enumeration degrees
K Copestake
The Journal of symbolic logic 53 (3), 878-887, 1988
341988
Techniques of admissible recursion theory
CT Chong
Springer, 2006
302006
Fields medallists' lectures
M Atiyah, D Iagolnitzer
World scientific, 1997
271997
The inductive strength of Ramsey's Theorem for Pairs
CT Chong, TA Slaman, Y Yang
Advances in Mathematics 308, 121-141, 2017
262017
The degree of a Σn cut
CT Chong, KJ Mourad
Annals of pure and applied logic 48 (3), 227-235, 1990
251990
Recursion theory
CT Chong, L Yu
Recursion Theory, 2015
242015
Minimal degrees and 1-generic sets below 0′
CT Chong, CG Jockusch
Computation and proof theory, 63-77, 1984
241984
Lowness of higher randomness notions
CT Chong, A Nies, L Yu
Israel journal of mathematics 166 (1), 39-60, 2008
232008
Minimal degrees recursive in 1-generic degrees
CT Chong, RG Downey
Annals of Pure and Applied Logic 48 (3), 215-225, 1990
221990
Hyperhypersimple α-re sets
CT Chong, M Lerman
Annals of Mathematical Logic 9 (1-2), 1-48, 1976
201976
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
191998
Randomness in the higher setting
CT Chong, L Yu
The Journal of Symbolic Logic 80 (4), 1131-1148, 2015
182015
Degrees bounding minimal degrees
CT Chong, RG Downey
Mathematical Proceedings of the Cambridge Philosophical Society 105 (2), 211-222, 1989
181989
Nonstandard models in recursion theory and reverse mathematics
CT Chong, W Li, Y Yang
Bulletin of Symbolic Logic 20 (2), 170-200, 2014
152014
Σ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
151998
Σ_ {𝑛} definable sets without Σ_ {𝑛} induction
CT Chong, KJ Mourad
Transactions of the American Mathematical Society 334 (1), 349-363, 1992
151992
The system can't perform the operation now. Try again later.
Articles 1–20