Le domaine de cette thèse est la théorie des modèles, une branche de la logique mathématique.Ce travail porte sur l'étude d'une classe de théories, appelés théories NIP, qui inclut en particulier des corps ordonnés et corps valués. On y étudie plusieurs aspects. Tout d'abord, on définit une classe particulière de mesures sur ces structures, appelées "mesures génériquement stables". On montre qu'elles ont des propriétés analogues aux types dans une théorie stable, puis on donne des constructions pour en produire. On étudie aussi une forme faible de définissabilité des types. Enfin, on définit une notion de théories NIP "purement instable" et on montre comment on peut, dans le cas général, détecter des parties stables de types.
| Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00635463 |
| Date | 21 October 2011 |
| Creators | Simon, Pierre |
| Publisher | Université Paris Sud - Paris XI |
| Source Sets | CCSD theses-EN-ligne, France |
| Language | fra |
| Detected Language | French |
| Type | PhD thesis |
Page generated in 0.0021 seconds