In this paper, we present a model of implementation where infeasible allocations are converted into feasible ones through a process of renegotiation that is represented by a reversion function. We describe the maximal set of Social Choice Correspondences that can be implemented in Nash Equilibrium in a class of reversion functions that punish agents for
The government contracts with a foreign firm to extract a natural resource that requires an upfront investment and which faces price uncertainty. In states where profits are high, there is a likelihood of expropriation, which generates a social cost that increases with the expropriated value. In this environment, the planner’s optimal contract avoids states with