Designed and built with care, filled with creative elements

Top
Image Alt

Equationalité des paires de corps

  /  Évènements
Chargement Évènements
  • Cet évènement est passé

21

Fév

Equationalité des paires de corps

Une théorie est équationelle si tout ensemble définissable est combinaison booléenne d’instances d’équations, c’est-à-dire des formules telles que la famille des intersections finies d’instances ont la propriété de chaîne descendante. L’équationalité, introduite par Srour et ensuite étudiée par Pillay et Srour, entraîne la stabilité. Or, le seul exemple algébrique naturel d’une théorie stable non-équationelle est la théorie du groupe non-abélien libre, comme récemment montré par Sela. Cependant, ce n’est pas évident de montrer qu’une théorie stable donnée est équationelle. Cet exposé présentera les idées d’un travail en commun avec Martin Ziegler sur l’équationalité de la théorie des belles paires de corps algébriquement clos en toute caractéristique.

- Théorie des Modèles et Groupes

Détails :

Orateur / Oratrice : Amador Martin-Pizarro
Date : 21 février 2017
Horaire : 16h00 - 16h00
Lieu : Sophie Germain salle 1016