ON THE UNIFORM COMPUTATIONAL CONTENT OF RAMSEY’S THEOREM (Q4600456)
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: ON THE UNIFORM COMPUTATIONAL CONTENT OF RAMSEY’S THEOREM |
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