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

Equipe(s) : lm,
Responsables :S. Anscombe, O. Finkel, 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) Emmanuel Rauzy - IMJ-PRG,
Titre Analyse calculable sur l'espace des groupes marqués.
Date08/11/2021
Horaire15:15 à 16:15
Diffusion
RésumeL'analyse calculable est l'étude de la calculabilité des fonctions définies sur des espaces métriques munis de numérotations. Un des résultats les plus important de l’analyse calculable est le théorème de Ceitin, qui dit que les fonctions calculables définies sur un espace Polonais effectif sont continues. On décrira les bases de l’étude de l’analyse calculable sur l’espace des groupes marqués, et en particulier on donnera une preuve du fait que l’espace des groupes marqués est un espace Polonais qui n’est pas un espace Polonais effectif: aucune suite calculable dans l’espace des groupes marqués n’y est dense. On discutera aussi de la correspondance entre les premiers niveaux de la hiérarchie de Borel sur l’espace des groupes marqués et son analogue effectif.
Salle1013
AdresseSophie Germain
© IMJ-PRG