C. T. Chong

From MaRDI portal
Person:2260473

Available identifiers

zbMath Open chong.chi-tatMaRDI QIDQ2260473

List of research outcomes





PublicationDate of PublicationType
Conservation strength of the infinite pigeonhole principle for trees2024-06-25Paper
Special Section: Computability Theory and the Foundation of Mathematics2023-03-09Paper
Conservation Strength of The Infinite Pigeonhole Principle for Trees2021-10-12Paper
https://portal.mardi4nfdi.de/entity/Q50049612021-08-03Paper
The strength of Ramsey's theorem for pairs over trees. I: Weak König's lemma2021-08-02Paper
Where Pigeonhole Principles meet K\"onig Lemmas2019-12-07Paper
Basis theorem for \(\Sigma_2^1\)-sets2019-03-15Paper
The inductive strength of Ramsey's theorem for pairs2017-02-03Paper
Measure-theoretic applications of higher Demuth's theorem2016-09-22Paper
Randomness in the higher setting2016-03-22Paper
Recursion theory. Computational aspects of definability2015-03-10Paper
Nonstandard models in recursion theory and reverse mathematics2014-10-21Paper
The metamathematics of Stable Ramsey’s Theorem for Pairs2014-09-19Paper
\(\varPi^1_1\)-conservation of combinatorial principles weaker than Ramsey's theorem for pairs2012-07-20Paper
The theory of the \(\alpha \) degrees is undecidable2010-12-06Paper
The strength of the projective Martin conjecture2010-04-09Paper
On the role of the collection principle for \(\Sigma ^0_2\)-formulas in second-order reverse mathematics2010-03-31Paper
A Π¹₁-uniformization principle for reals2009-07-23Paper
Lowness of higher randomness notions2008-10-16Paper
Maximal chains in the Turing degrees2008-02-25Paper
Thin Maximal Antichains in the Turing Degrees2007-11-13Paper
The jump of a Σ n -cut2007-09-27Paper
The existence of high nonbounding degrees in the difference hierarchy2005-12-29Paper
https://portal.mardi4nfdi.de/entity/Q57118802005-12-08Paper
The minimal e-degree problem in fragments of Peano arithmetic2005-01-31Paper
Recursion theory on weak fragments of Peano arithmetic: A study of definable cuts2002-07-18Paper
\(\Sigma_2\) induction and infinite injury priority arguments. III: Prompt sets, minimal pairs and Shoenfield's conjecture2001-07-31Paper
https://portal.mardi4nfdi.de/entity/Q45139652001-06-04Paper
https://portal.mardi4nfdi.de/entity/Q49449062001-02-05Paper
Σ2 Induction and infinite injury priority argument, Part I: Maximal sets and the jump operator1999-02-02Paper
\(\Sigma_ 2\) induction and infinite injury priority arguments. II. Tame \(\Sigma_ 2\) coding and the jump operator1998-01-26Paper
Minimal degrees recursive in 1-generic degrees1990-01-01Paper
Degrees bounding minimal degrees1989-01-01Paper
Almost local non-α-recursiveness1974-01-01Paper

Research outcomes over time

This page was built for person: C. T. Chong