Game forms for Nash implementation of general social choice correspondences

Abstract

Several game forms are given for Nash implementing general social choice correspondences (SCC's) which satisfy Maskin's conditions of monotonicity and No Veto Power. The game forms have smaller strategy spaces than those used in previously studied mechanisms: the strategy for an individual consists of an alternative, two subsets (of alternatives), and a player number. For certain types of economic and political SCC's, including α-majority rule, the Walrasian, and Lindahl correspondence, the strategy space reduces to an alternative and a vector, where the number of components of the vector is at most twice the dimension of the alternative space.