Distal and non-Distal Behavior in Pairs

Abstract

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^{\mathrm{eq}}$, non-distality is geometrically analyzed through Keisler measures, and a distal expansion for the case of pairs of ordered vector spaces is computed.