ON THE UNIFORM COMPUTATIONAL CONTENT OF RAMSEY’S THEOREM (Q4600456)
From MaRDI portal
scientific article; zbMATH DE number 6824519
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ON THE UNIFORM COMPUTATIONAL CONTENT OF RAMSEY’S THEOREM |
scientific article; zbMATH DE number 6824519 |
Statements
ON THE UNIFORM COMPUTATIONAL CONTENT OF RAMSEY’S THEOREM (English)
0 references
11 January 2018
0 references
computable analysis
0 references
Weihrauch lattice
0 references
Ramsey's theorem
0 references
0 references
