Some results concerning the \(\mathsf{SRT}_2^2\) vs. \(\mathsf{COH}\) problem (Q5131650)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Some results concerning the SRT₂^2 vs. COH problem |
scientific article; zbMATH DE number 7271573
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Some results concerning the \(\mathsf{SRT}_2^2\) vs. \(\mathsf{COH}\) problem |
scientific article; zbMATH DE number 7271573 |
Statements
Some results concerning the SRT 2 2 vs. COH problem (English)
0 references
9 November 2020
0 references
computable combinatorics
0 references
Ramsey theory
0 references
computability theory
0 references
reverse mathematics
0 references
0.80284184217453
0 references
0.7817642688751221
0 references
0.7416425943374634
0 references
0.7374021410942078
0 references
