  In the paper, notions of relative separability for hypergraphs of models of a
theory are defined. Properties of these notions and applications to ordered
theories are studied: characterizations of relative separability both in a
general case and for almost countably categorical quite o-minimal theories are
established.

Logic