C. T. Chong

Available identifiers

zbMath Open chong.chi-tatMaRDI QIDQ2260473

List of research outcomes

Publication	Date of Publication	Type
Conservation strength of the infinite pigeonhole principle for trees	2024-06-25	Paper
Special Section: Computability Theory and the Foundation of Mathematics	2023-03-09	Paper
Conservation Strength of The Infinite Pigeonhole Principle for Trees	2021-10-12	Paper
https://portal.mardi4nfdi.de/entity/Q5004961	2021-08-03	Paper
The strength of Ramsey's theorem for pairs over trees. I: Weak König's lemma	2021-08-02	Paper
Where Pigeonhole Principles meet K\"onig Lemmas	2019-12-07	Paper
Basis theorem for \(\Sigma_2^1\)-sets	2019-03-15	Paper
The inductive strength of Ramsey's theorem for pairs	2017-02-03	Paper
Measure-theoretic applications of higher Demuth's theorem	2016-09-22	Paper
Randomness in the higher setting	2016-03-22	Paper
Recursion theory. Computational aspects of definability	2015-03-10	Paper
Nonstandard models in recursion theory and reverse mathematics	2014-10-21	Paper
The metamathematics of Stable Ramsey’s Theorem for Pairs	2014-09-19	Paper
\(\varPi^1_1\)-conservation of combinatorial principles weaker than Ramsey's theorem for pairs	2012-07-20	Paper
The theory of the \(\alpha \) degrees is undecidable	2010-12-06	Paper
The strength of the projective Martin conjecture	2010-04-09	Paper
On the role of the collection principle for \(\Sigma ^0_2\)-formulas in second-order reverse mathematics	2010-03-31	Paper
A Π¹₁-uniformization principle for reals	2009-07-23	Paper
Lowness of higher randomness notions	2008-10-16	Paper
Maximal chains in the Turing degrees	2008-02-25	Paper
Thin Maximal Antichains in the Turing Degrees	2007-11-13	Paper
The jump of a Σ n -cut	2007-09-27	Paper
The existence of high nonbounding degrees in the difference hierarchy	2005-12-29	Paper
https://portal.mardi4nfdi.de/entity/Q5711880	2005-12-08	Paper
The minimal e-degree problem in fragments of Peano arithmetic	2005-01-31	Paper
Recursion theory on weak fragments of Peano arithmetic: A study of definable cuts	2002-07-18	Paper
\(\Sigma_2\) induction and infinite injury priority arguments. III: Prompt sets, minimal pairs and Shoenfield's conjecture	2001-07-31	Paper
https://portal.mardi4nfdi.de/entity/Q4513965	2001-06-04	Paper
https://portal.mardi4nfdi.de/entity/Q4944906	2001-02-05	Paper
Σ2 Induction and infinite injury priority argument, Part I: Maximal sets and the jump operator	1999-02-02	Paper
\(\Sigma_ 2\) induction and infinite injury priority arguments. II. Tame \(\Sigma_ 2\) coding and the jump operator	1998-01-26	Paper
Minimal degrees recursive in 1-generic degrees	1990-01-01	Paper
Degrees bounding minimal degrees	1989-01-01	Paper
Almost local non-α-recursiveness	1974-01-01	Paper

Research outcomes over time

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