Step functions in the Weihrauch lattice

About this item
Description: Linda Brown ()
08/06/2022
Programme: SASW09
SemId: 36174
 
Created: 2022-06-09 19:59
Collection: International conference on computability, complexity and randomness
Publisher: Linda Brown
Copyright: Isaac Newton Institute
Language: eng (English)
 
Abstract: For any real number A, let s_A denote the step function which takes value 0 on inputs less than A, and value 1 on inputs greater than or equal to A. For A in Cantor space, a similar definition can be made using the lexicographic order. We ask what is the structure of the Weihrauch degrees restricted to these step functions, and obtain some partial results. Joint work with Arno Pauly.