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-...

The theory of full implementation has been criticized for using integer/modulo games, which admit no equilibrium (Jackson (1992)). To address the critique, we revisit the classical Nash implementation problem due to Maskin (1977, 1999) but allow for the use of lotteries and monetary transfers as...