Back to Search Start Over

Some results concerning the SRT22 vs. COH problem.

Authors :
Cholak, Peter A.
Dzhafarov, Damir D.
Hirschfeldt, Denis R.
Patey, Ludovic
Brattka, Vasco
Marcone, Alberto
Pauly, Arno
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]

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