Substitutes and stability for matching with contracts

We consider the matching with contracts framework of Hatfield and Milgrom [20], and we introduce new concepts of bilateral and unilateral substitutes. We show that the bilateral substitutes condition is a sufficient condition for the existence of a stable allocation in this framework. However, the set of stable allocations does not form a lattice under this condition, and there does not necessarily exist a doctor-optimal stable allocation. Under a slightly stronger condition, unilateral substitutes, the set of stable allocations still does not necessarily form a lattice with respect to doctors' preferences, but there does exist a doctor-optimal stable allocation, and other key results such as incentive compatibility and the rural hospitals theorem are recovered.