# 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 Description

 Orateur(s) Mathieu Hoyrup - LORIA (Lorraine), Titre Computability of compact sets Date 03/04/2023 Horaire 15:15 à 16:15 Diffusion Résume 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. Salle 1013 Adresse Sophie Germain