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....
This thesis aims to contribute to neostability and in particular to the stability theory of noneleme...
Abstract. We study and characterize stability, NIP and NSOP in terms of topological and measure theo...
We continue investigating the structure of externally definable sets in NIP theories and preservatio...
This thesis deals with model theory, a branch of mathematical logic.We study a particular class of t...
This book addresses a gap in the model-theoretic understanding of valued fields that had limited the...
We prove a number of results relating the concepts of Keisler measures, generic stability, randomiza...
We prove that any type in an NIP theory can be decomposed into a stable part (a generically stable p...
We prove that any type in an NIP theory can be decomposed into a stable part (a generically stable p...
We prove a number of results relating the concepts of Keisler measures, generic stability, randomiza...
AbstractWe investigate in detail stable formulas, ranks of types and their definability, the f.c.p.,...
We generalize the Unstable Formula Theorem characterization of stable theories in \cite{sh}: that a ...
Using definability of types for stable formulas, one develops the powerful tools of stability theory...
AbstractWe study one way in which stable phenomena can exist in an NIP theory. We start by defining ...
AbstractThe family of all stable models for a logic program has a surprisingly simple overall struct...
This thesis aims to contribute to neostability and in particular to the stability theory of nonelem...
This thesis aims to contribute to neostability and in particular to the stability theory of noneleme...
Abstract. We study and characterize stability, NIP and NSOP in terms of topological and measure theo...
We continue investigating the structure of externally definable sets in NIP theories and preservatio...
This thesis deals with model theory, a branch of mathematical logic.We study a particular class of t...
This book addresses a gap in the model-theoretic understanding of valued fields that had limited the...
We prove a number of results relating the concepts of Keisler measures, generic stability, randomiza...
We prove that any type in an NIP theory can be decomposed into a stable part (a generically stable p...
We prove that any type in an NIP theory can be decomposed into a stable part (a generically stable p...
We prove a number of results relating the concepts of Keisler measures, generic stability, randomiza...
AbstractWe investigate in detail stable formulas, ranks of types and their definability, the f.c.p.,...
We generalize the Unstable Formula Theorem characterization of stable theories in \cite{sh}: that a ...
Using definability of types for stable formulas, one develops the powerful tools of stability theory...
AbstractWe study one way in which stable phenomena can exist in an NIP theory. We start by defining ...
AbstractThe family of all stable models for a logic program has a surprisingly simple overall struct...
This thesis aims to contribute to neostability and in particular to the stability theory of nonelem...
This thesis aims to contribute to neostability and in particular to the stability theory of noneleme...
Abstract. We study and characterize stability, NIP and NSOP in terms of topological and measure theo...
We continue investigating the structure of externally definable sets in NIP theories and preservatio...