A jump operator on the Weihrauch degrees

Uri Andrews, Steffen Lempp, Alberto Marcone +2

A partial order $(P,\le )$ admits a jump operator if there is a map $j:P\to P$ that is strictly increasing and weakly monotone. Despite its name, the jump in the Weihrauch la…