Séminaire Logique mathématique ICJ
Hyperbolicité, commensurabilité et équivalence élémentaire
par
→
Europe/Paris
Salle séminaire 1 sous-sol (ICJ, bât. Braconnier, UCBL - La Doua)
Salle séminaire 1 sous-sol
ICJ, bât. Braconnier, UCBL - La Doua
Description
En 2001 Sela et Kharlampovich-Myasnikov ont caractérisé tout le groupe de type fini qui a la même théorie du premier ordre avec un groupe libre non abélien. Dans cet exposé nous montrerons quand un groupe élémentairement libre a la même théorie du premier ordre avec tout son sous-groupe d'indice fini. Nos résultats s'étendent dans le cadre des groupes hyperboliques. C'est un travail en commun avec V. Guirardel et G. Levitt.