Characterizing the Vickrey combinatorial auction by induction

This note studies the allocation of heterogeneous commodities to agents whose private values for combinations of these commodities are monotonic by inclusion. This setting can accommodate the presence of complementarity and substitutability among the heterogeneous commodities. By using induction logic, we provide an elementary proof of Holmstrom's (1919) characterization of the Vickrey combinatorial auction as the unique efficient, strategy-proof, and individually rational allocation rule. Our proof method can also be applied to domains to which his proof cannot be.