In this paper, we present a model of implementation where infea- sible allocations are converted into feasible ones through a process of renego- tiation that is represented by a reversion function. We describe the maximal set of Social Choice Correspondences that can be implemented in Nash Equi-...

In this paper we present a model of implementation based on the idea that agents renegotiate unfeasible allocations. We characterize the maximal set of Social Choice Correspondences that can be implemented in Nash Equilibrium with a class of renegotiation functions that do not reward agents for...