Distal and non-distal NIP theories
arXiv:1103.2239 · doi:10.1016/j.apal.2012.10.015
Abstract
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.
References in corpus (2)
Cited by in corpus (24)
- Invariant types in NIP theories
- Dp-minimality: invariant types and dp-rank
- Generic derivations on o-minimal structures
- Externally definable sets and dependent pairs II
- Ramsey growth in some NIP structures
- Distality for the asymptotic couple of the field of logarithmic transseries
- Combinatorial Bounds in Distal Structures
- On minimal flows. definably amenable groups, and o-minimality
- A dichotomy for -convex fields with a monomial group
- Around definable types in -adically closed fields
- Hamel Spaces and Distal Expansions
- Model-theoretic Elekes-Szabó in the strongly minimal case
- Some NIP-like phenomena in NTP
- Weakly o-minimal types
- Dp-minimal profinite groups and valuations on the integers
- A Dependent Bi-Coloured Field
- Simple product and locally o-minimal theories
- On a common generalization of Shelah's 2-rank, dp-rank, and o-minimal dimension
- Forking and invariant types in regular ordered Abelian groups
- An invitation to extension domination
- The definable (p,q)-theorem for distal theories
- The domination monoid in o-minimal theories
- Regular partitions of gentle graphs
- Group topologies on automorphism groups of homogeneous structures