Stable Ramsey's theorem and measure

DOI10.1215/00294527-2010-039zbMath1217.03019arXiv1010.2230OpenAlexW2018605737MaRDI QIDQ628806

Damir D. Dzhafarov

Publication date: 7 March 2011

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1010.2230

zbMATH Keywords

martingalereverse mathematicsRamsey's theoremSRAMDNRCOHSRTASRAMASRTeffective measure theorys-Ramsey

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Ramsey theory (05D10) Applications of computability and recursion theory (03D80) Second- and higher-order arithmetic and fragments (03F35) Algorithmic randomness and dimension (03D32)

Related Items (3)

Reverse mathematics and a Ramsey-type König's Lemma ⋮ A STRONG LAW OF COMPUTATIONALLY WEAK SUBSETS ⋮ On the Mikusiński-Antosik diagonal theorem and the equivalence of two types of convergence in Köthe spaces

This page was built for publication: Stable Ramsey's theorem and measure