login
english version rss feed
Detailed view PhD thesis
Université Paris Sud - Paris XI (21/10/2011), Élisabeth Bouscaren (Dir.)
Attached file list to this document: 
PDF
VD_SIMON_PIERRE_21102011.pdf(1.2 MB)
Ordre et stabilité dans les théories NIP
Pierre Simon1

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.
1:  LM-Orsay - Laboratoire de Mathématiques d'Orsay
Théorie des modèles – Théories NIP – Stabilité

Order and stability in NIP theories
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.
Model theory – NIP theories – Stability

all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...