Back to Search
Start Over
Some results concerning the SRT22 vs. COH problem.
- Source :
- Computability; 2020, Vol. 9 Issue 3/4, p193-217, 25p
- Publication Year :
- 2020
-
Abstract
- The SRT 2 2 vs. COH problem is a central problem in computable combinatorics and reverse mathematics, asking whether every Turing ideal that satisfies the principle SRT 2 2 also satisfies the principle COH. This paper is a contribution towards further developing some of the main techniques involved in attacking this problem. We study several principles related to each of SRT 2 2 and COH , and prove results that highlight the limits of our current understanding, but also point to new directions ripe for further exploration. [ABSTRACT FROM AUTHOR]
- Subjects :
- REVERSE mathematics
RAMSEY theory
COMBINATORICS
Subjects
Details
- Language :
- English
- ISSN :
- 22113568
- Volume :
- 9
- Issue :
- 3/4
- Database :
- Complementary Index
- Journal :
- Computability
- Publication Type :
- Academic Journal
- Accession number :
- 145171293
- Full Text :
- https://doi.org/10.3233/COM-190251