Une théorie est NIP si et seulement si certains espaces de types sont des `compacts de Rosenthal’ : des objets étudiés en topologie et théorie descriptive des ensembles. Grâce à cette observation, on peut appliquer des résultats de topologie générale pour obtenir de nouveaux (et d’anciens) théorèmes sur les théories NIP. Je parlerai en particulier de conséquences concernant les types invariants.
- Séminaire Géométrie et théorie des modèles