Distal and non-Distal Behavior in Pairs. (arXiv:1801.07149v3 [math.LO] UPDATED)

The aim of this work is an analysis of distal and non-distal behavior in dense pairs of o-minimal structures. A characterization of distal types is given through orthogonality to a generic type in $M^{\operatorname{eq}}$, non-distality is geometrically analyzed through Keisler measures, and a distal expansion for the case of pairs of ordered vector spaces is computed. 查看全文>>