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

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

ArchivesRetour ligne automatique
Abonnement à la liste de diffusion


Orateur(s) Alberto Marcone - Universitá di Udine,
Titre Up in the Weihrauch lattice: the Cantor-Bendixson theorem
Date12/12/2022
Horaire15:15 à 16:15
Diffusion
Résume

 

Many mathematical theorems can be viewed as problems: a statement of the form forall x in X (phi(x) implies exists y in Y psi(x,y)) is the problem of finding a suitable y starting from x.
Weihrauch reducibility allows to compare these (and many other) problems in a way that refines the analysis carried out in the framework of reverse mathematics. In the last 15 years this approach has been very fruitful, but until now it has almost exclusively dealt with theorems that reverse mathematics classifies at or below the level of ATR0.
We start the investigation of theorems at the level of Pi^1_1-comprehension by dealing with a classic result of descriptive set theory: the Cantor-Bendixson theorem, stating that every closed subset of a Polish space can be uniquely written as the disjoint union of a perfect set (the perfect kernel) and a countable set (the scattered part).
The talk will start with an introduction to Weihrauch reducibility and the Weihrauch lattice.

This is joint work with Vittorio Cipriani and Manlio Valenti

Salle1013
AdresseSophie Germain
© IMJ-PRG