Some results concerning the SRT 2 2 vs. COH problem
From MaRDI portal
Publication:5131650
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
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