Order and stability in NIP theories

Ordre et stabilité dans les théories NIP

Pierre Simon (1)

1 LM-Orsay - Laboratoire de Mathématiques d'Orsay

This thesis deals with model theory, a branch of mathematical logic.We study a particular class of theories called "NIP theories", which includes in particular some ordered fields and valued fields. We are interested in various aspects of those structures. First, we study a specific class of measures, which we call "generically stable measures". We show that they have properties analogous to those of types in a stable theory and we give some constructions to produce them. We also study a weak form of definability of types. Finally, we define a notion of a "purely unstable" NIP theory and show how, in general, we can detect the stable parts of types.

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.

Keywords: Model theory; Stability; NIP theories

Keywords: Stabilité; Théorie des modèles; Théories NIP

Domains: General Mathematics [math.GM]

Pierre Simon. Ordre et stabilité dans les théories NIP. Mathématiques générales [math.GM]. Université Paris Sud - Paris XI, 2011. Français. ⟨NNT : 2011PA112221⟩. ⟨tel-00635463⟩