The degree structure of Weihrauch-reducibility
Work
Year: 2013
Type: article
Abstract: We answer a question by Vasco Brattka and Guido Gherardi by proving that the Weihrauch-lattice is not a Brouwer algebra. The computable Weihrauch-lattice is also not a Heyting algebra, but the continu... more
Authors Kojiro Higuchi, Arno Pauly
Institutions Tohoku University, University of Cambridge
Cites: 24
Cited by: 36
Related to: 10
FWCI: 5.991
Citation percentile (by year/subfield): 90.09
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond