The degree structure of Weihrauch-reducibility (Q4927424)
From MaRDI portal
scientific article; zbMATH DE number 6177462
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The degree structure of Weihrauch-reducibility |
scientific article; zbMATH DE number 6177462 |
Statements
The degree structure of Weihrauch-reducibility (English)
0 references
20 June 2013
0 references
Weihrauch degrees
0 references
Medvedev degrees
0 references
Heyting algebra
0 references
superintuitionistic logic
0 references
computable analysis
0 references
