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

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

ArchivesRetour ligne automatique
Abonnement à la liste de diffusion

Orateur(s) Mathieu Hoyrup - LORIA (Lorraine),
Titre Computability of compact sets
Horaire15:15 à 16:15

Several notions of computability can be defined for compact
subsets of Euclidean spaces. Some of them turn out to be equivalent for
certain sets - we then say that the set has ``computable type''. Miller
(2002) proved that n-dimensional spheres have computable type, and
Iljazovic (2013) proved that closed manifolds have computable type. We
study the case of finite simplicial complexes and obtain several
topological characterizations of the complexes having computable type.
We also relate the notion of computable type to the descriptive
complexity of topological invariants, and investigate the expressiveness
of low complexity invariants. This work was done in collaboration with
Djamel Eddine Amir.

AdresseSophie Germain