Parallel and Serial Jumps of Weak Weak König’s Lemma

Laurent Bienvenu (1) , Rutger Kuyper (2)

1 ESCAPE - Systèmes complexes, automates et pavages
2 Victoria University of Wellington

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.

Domaines: Logique [math.LO]; Logique en informatique [cs.LO]

Laurent Bienvenu, Rutger Kuyper. Parallel and Serial Jumps of Weak Weak König’s Lemma. Computability and Complexity, LNCS (10010), Springer, pp.201-217, 2017, Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday, 978-3-319-50061-4 (print) 978-3-319-50062-1 (online). ⟨10.1007/978-3-319-50062-1_15⟩. ⟨hal-01451088⟩