Matching with externalities

We incorporate externalities into the stable matching theory of two-sided markets. Extending the classical substitutes condition to markets with externalities, we establish that stable matchings exist when agent choices satisfy substitutability. We show that substitutability is a necessary condition for the existence of a stable matching in a maximal-domain sense and provide a characterization of substitutable choice functions. In addition, we extend the standard insights of matching theory, like the existence of side-optimal stable matchings and the deferred acceptance algorithm, to settings with externalities even though the standard fixed-point techniques do not apply.