In this paper, we present a model of implementation where infea- sible allocations are converted into feasible ones …. This is used to study the implementation of the Walrasian Correspondence and several axiomatic solutions to problems of …

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 …-established but somewhat orthogonal approaches in full implementation theory. We show that Maskin monotonicity is a necessary and …