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

Laurent Bienvenu; Rutger Kuyper

doi:10.1007/978-3-319-50062-1_15

Back

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

Book chapter

Open access

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

Laurent Bienvenu and Rutger Kuyper

Computability and Complexity, Vol.LNCS(10010), pp.201-217

Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday

2017

DOI: https://doi.org/10.1007/978-3-319-50062-1_15

Abstract

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.

Files and links (1)

url

Find in HALView

Metrics

1 Record Views

Details

Title: Parallel and Serial Jumps of Weak Weak König’s Lemma
Creators - without role: Laurent Bienvenu - Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier
Rutger Kuyper - University of Wisconsin–Madison
Publication Details: Computability and Complexity, Vol.LNCS(10010), pp.201-217
Series: Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday
Identifiers: 9942039209311
Academic Unit: Laboratoire d'Informatique de Robotique et de Microélectronique de Mtp - LIRMM
Language: English
Resource Type: Book chapter
Local Fields: hal-01451088