Some results concerning the SRT 2 2 vs. COH problem

DOI10.3233/COM-190251zbMath1485.03024arXiv1901.10326OpenAlexW3016913989MaRDI QIDQ5131650

Damir D. Dzhafarov, Denis R. Hirschfeldt, Ludovic Patey, Peter A. Cholak

Publication date: 9 November 2020

Published in: Computability (Search for Journal in Brave)

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

zbMATH Keywords

Ramsey theorycomputability theoryreverse mathematicscomputable combinatorics

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Ramsey theory (05D10) Second- and higher-order arithmetic and fragments (03F35)

Related Items (2)

The coding power of a product of partitions ⋮ \( \mathsf{SRT}_2^2\) does not imply \(\mathsf{RT}_2^2\) in \(\omega \)-models

This page was built for publication: Some results concerning the SRT 2 2 vs. COH problem