We characterize when a stable and strategy-proof mechanism is guaranteed to exist in the setting of many-to-one matching with contracts. We introduce three novel conditions—observable substitutability, observable size monotonicity, and non-manipulability via contractual terms—and show that when these conditions are satisfied, the cumulative offer mechanism is the unique mechanism that is stable and strategy-proof (for workers). Moreover, we show that our three conditions are, in a sense, necessary: if the choice function of some firm fails any of our three conditions, we can construct unit-demand choice functions for the other firms such that no stable and strategy-proof mechanism exists. Thus, our results provide a rationale for the ubiquity of cumulative offer mechanisms in practice.

We introduce a framework of matching with flexible allotments that can be used to model firms with cross-division hiring restrictions. Our framework also allows us to nest some prior models of matching with distributional constraints. Building upon our recent work on observable substitutability, we show that multi-division choice functions with flexible allotments enable stable and strategy-proof matching; these results illustrate the value of clearly mapping when stable and strategy-proof matching is possible.

We introduce a model in which agents in a network can trade via bilateral contracts. We find that when continuous transfers are allowed and utilities are quasi-linear, the full substitutability of preferences is sufficient to guarantee the existence of stable outcomes for any underlying network structure. Furthermore, the set of stable outcomes is essentially equivalent to the set of competitive equilibria, and all stable outcomes are in the core and are efficient. By contrast, for any domain of preferences strictly larger than that of full substitutability, the existence of stable outcomes and competitive equilibria cannot be guaranteed.