Séminaires : Séminaire Général de Logique

Equipe(s) : lm,
Responsables :S. Anscombe, A. Vignati
Email des responsables : sylvy.anscombe@imj-prg.fr, vignati@imj-prg.fr
Salle : 1013
Adresse :Sophie Germain
Description

Archives


Abonnement à la liste de diffusion


Orateur(s) Vasco Brattka - Universität der Bundeswehr, Münich,
Titre Dichotomies in Weihrauch Complexity
Date27/03/2023
Horaire15:15 à 16:15
Diffusion
Résume

We discuss a number of uniform dichotomies for problems in the Weihrauch lattice. Such dichotomies have the common form that a problem is either quite well-behaved (continuous, measurable of some form, etc.) or already relatively badly behaved. We show that often such dichotomies also have non-uniform versions and we indicate how computability concepts such as Turing jumps, Weak König's Lemma, diagonal non-computability, etc. occur naturally in these non-uniform versions. We also discuss how some known dichotomies from descriptive set theory, such as Solecki's dichotomy, can be seen in this context.

Salle1013
AdresseSophie Germain
© IMJ-PRG