We introduce and study (weakly) semi-equational theories, generalizing equationality in stable theories (in the sense of Srour) to the NIP context. In particular, we establish a connection to distality via one-sided strong honest definitions; demonstrate that certain trees are semi-equational, while algebraically closed valued fields are not weakly semi-equational; and obtain a general criterion for weak semi-equationality of an expansion of a distal structure by a new predicate.

We show that the theory Tlog of the asymptotic couple of the field of logarithmic transseries is distal. As distal theories are NIP, this provides a new proof that Tlog is NIP.

Let T be a complete, model complete o-minimal theory extending the theory RCF of real closed ordered fields in some appropriate language L. We study derivations δ on models ℳ⊧T. We introduce the no...

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, non‐distality is geometrically analyzed through Keisler measures, and a distal expansion for the case of pairs of ordered vector spaces is computed.