Chi Tat Chong

Available identifiers

zbMath Open chong.chi-tatMaRDI QIDQ2260473

List of research outcomes

Publication	Date of Publication	Type
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 THEOREMS FOR -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 Σ⁰₂-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
https://portal.mardi4nfdi.de/entity/Q2784778	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Chi Tat Chong