We characterize dominant-strategy incentive compatibility with multidimensional types. A deterministic social choice function is dominant-strategy incentive compatible if and only if it is weakly monotone (W-Mon). The W-Mon requirement is the following: If changing one agent's type (while...

We study mechanism design in dynamic quasilinear environments where private information arrives over time and decisions are made over multiple periods. We make three contributions. First, we provide a necessary condition for incentive compatibility that takes the form of an envelope formula for...

The paper studies the implementation problem, first analyzed by Maskin and Moore (1999), in which two agents observe an unverifiable state of nature and may renegotiate inefficient outcomes following play of the mechanism. We develop a first-order approach to characterizing the set of...

The standard envelope theorems apply to choice sets with convex and topological structure, providing sufficient conditions for the value function to be differentiable in a parameter and characterizing its derivative. This paper studies optimization with arbitrary choice sets and shows that the...

The paper studies bilateral contracting between one principal and N agents when each agent's utility depends on the principal's unobservable contracts with other agents. We show that allowing deviations to menu contracts from which the principal chooses bounds equilibrium outcomes in a wide...