Publications > Preprint server > Preprint Number 305
Preprint Number 305
305. Pierre Simon
Distal and non-distal NIP theories
Submission date: 14 March 2011.
We study one way in which stable phenomena can exist in an NIP theory. We start by defining a notion of 'pure instability' that we call 'distality' in which no such phenomenon occurs. O-minimal theories and the p-adics for example are distal. Next, we try to understand what happens when distality fails. Given a type p over a sufficiently saturated model, we extract, in some sense, the stable part of p and define a notion of stable-independence which is implied by non-forking and has bounded weight. As an application, we show that the expansion of a model by traces of externally definable sets from some adequate indiscernible sequence eliminates quantifiers.
Mathematics Subject Classification: 03C45
Keywords and phrases:
|Last updated: March 15 2011 11:35||Please send your corrections to:|