Chi Tat Chong

From MaRDI portal
Person:2260473

Available identifiers

zbMath Open chong.chi-tatMaRDI QIDQ2260473

List of research outcomes

PublicationDate of PublicationType
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 THEOREMS FOR -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 Σ⁰₂-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
https://portal.mardi4nfdi.de/entity/Q27847782002-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


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Chi Tat Chong