EnglishFrançais

Site Web DMA

Bannière DMA Site de l'ENS Site Paris Sciences et Lettres Site du CNRS Accueil

Séminaire Géométrie et théorie des modèles

Horaires : Le vendredi 15 janvier 2016, 11h

Lieu : ENS, Salle W

La définissabilité des types, par l'analyse fonctionnelle

Itai Ben Yaacov (Lyon I (ICJ))

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.

 

Autres séances du séminaire


45 rue d'Ulm - F 75230 PARIS cedex 05 | phone : (33) 1 44 32 20 49 | fax : (33) 1 44 32 20 69

Plan du site | Mentions légales | | Edition du site | Web site designed under SPIP