Parallel and Serial Jumps of Weak Weak König’s Lemma
Résumé
We study the principle of positive choice in the Weihrauch degrees. In particular, we study its behaviour under composition and jumps, and answer three questions asked by Brattka, Gherardi and Hölzl.
Origine : Fichiers produits par l'(les) auteur(s)