C. T. Chong

National University of Singapore — Singapore

Computer Science · Physical Sciences

14h-index582citations95works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Computability, Logic, AI Algorithms(61), Advanced Topology and Set Theory(44), Mathematical and Theoretical Analysis(15), semigroups and automata theory(12), Logic, Reasoning, and Knowledge(10)

Publications95 total

On the strength of Ramsey's theorem for trees
Advances in Mathematics·2020· 5 cited
Where Pigeonhole Principles meet König Lemmas
arXiv (Cornell University)·2019· 1 citedOpen Access
On The Computability of Perfect Subsets of Sets with Positive Measure
arXiv (Cornell University)·2018· 1 citedOpen Access
Interpreting arithmetic in the r.e. degrees under Σ<sub>4</sub>-induction
Cambridge University Press eBooks·2017· 1 cited
The inductive strength of Ramsey's Theorem for Pairs
Advances in Mathematics·2016· 22 cited
1-Generic Degrees Bounding Minimal Degrees Revisited
Lecture notes in computer science·2016· 1 cited
Measure-theoretic applications of higher Demuth’s Theorem
Transactions of the American Mathematical Society·2015· 1 cited
RANDOMNESS IN THE HIGHER SETTING
Journal of Symbolic Logic·2015· 14 cited
Partial functions and domination
Logical Methods in Computer Science·2015· 1 citedOpen Access
FRONT MATTER
Lecture notes series, Institute For Mathematical Sciences·2015
Forcing, Iterated Ultrapowers, and Turing Degrees
Lecture notes series, Institute For Mathematical Sciences·2015· 1 cited
Fields Medallists' Lectures
WORLD SCIENTIFIC eBooks·2015· 1 cited
Slicing The Truth: On The Computable And Reverse Mathematics Of Combinatorial Principles
2014· 26 citedOpen Access
FRONT MATTER
Lecture notes series, Institute For Mathematical Sciences·2014
NONSTANDARD MODELS IN RECURSION THEORY AND REVERSE MATHEMATICS
Bulletin of Symbolic Logic·2014· 8 cited
Slicing the Truth
Lecture notes series, Institute For Mathematical Sciences·2014· 42 cited
The metamathematics of Stable Ramsey’s Theorem for Pairs
Journal of the American Mathematical Society·2014· 66 citedOpen Access
<i>E</i>-Recursion, Forcing and C*-Algebras
Lecture notes series, Institute For Mathematical Sciences·2014· 2 cited
FRONT MATTER
Lecture notes series, Institute For Mathematical Sciences·2013
Notes on Forcing Axioms
Lecture notes series, Institute For Mathematical Sciences·2013· 9 cited
page 1 of 5Next →

Frequent Co-authors

Theodore A. Slaman(10), Yue Yang(5), Yue Yang(5), W. Hugh Woodin(5), Q. Feng(4), Liang Yu(4), Yue Yang(3), K. J. Mourad(3), Denis R. Hirschfeldt(2), Rodney G. Downey(2), André Nies(2), Yihong Wu(2), Yue Yang(2), Sy D. Friedman(2), Qi Feng(1), W Hugh Woodin(1), J. Graf(1), Boris Luk’yanchuk(1), M. Mosbacher(1), M.H. Hong(1)