Résumé de l'exposé
La théorie du premier ordre d'un groupe G, notée Th(G), est l'ensemble des énoncés du premier ordre vrais dans G. Dans quelle mesure le groupe G est-il déterminé par Th(G) ? Plus précisément, si un groupe G' est indistinguable de G du point de vue de la logique (c'est-à-dire s'il vérifie Th(G)=Th(G')), G et G' partagent-ils certaines propriétés de nature algébrique ou géométrique ?
comments