Etant donnée une théorie T modèle-complete de corps topologiques, on considère son expansion différentielle générique et sous une hypothèse de largeur sur le corps, on peut axiomatiser la classe des modèles existentiellement clos.On montrera un résultat de densité sur les types définissables sur des sous-ensembles définitionnellement clos dans les modèles de telles théories. Ensuite on montrera deux résultats de transfert l’un sur la VC-densité (lorsque T est NIP) et l’autre sur la propriété combinatoire NTP2.
- Théorie des Modèles et Groupes