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 ?
Logique du premier ordre et théorie des groupes
- Se connecter pour poster des commentaires
Nom de l'orateur
Simon André
Etablissement de l'orateur
LMJL
Date et heure de l'exposé
Lieu de l'exposé
Éole