Output details
11 - Computer Science and Informatics
University of Cambridge
Article title
Closed choice and a Uniform Low Basis Theorem
Type
D - Journal article
Title of journal
Annals of Pure and Applied Logic
Article number
-
Volume number
163
Issue number
8
First page of article
986
ISSN of journal
0168-0072
Year of publication
2012
URL
-
Number of additional authors
2
Additional information
<11> The article developed the fundamental theory of closed choice operators in the Weihrauch lattice. By now, this has found applications both for classifying theorems by computational content in a metamathematical approach; as well as for proving computability of operations e.g. in computable measure theory via non-deterministic computability.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
5
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-