Comme demandé par les organisateurs, je parlerai des liens entre la stabilité en théorie des modèles et certains résultats d’analyse fonctionnelle, notamment la caractérisation par Grothendieck des ensembles faiblement précompacts dans C(X) .En effet, nous retrouvons dans le critère de Grothendieck la définition de formule stable, (re)donnée 20 ans plus tard par Shelah, et pouvons en déduire le théorème de Shelah sur la définissabilité des types dans une théorie stable, ainsi que la forme de la formule défninissante.
- Séminaire Géométrie et théorie des modèles