A NOTE ON ABREU-MATSUSHIMA MECHANISMS

IN A STIMULATING RECENT PAPER, Abreu and Matsushima (1992) (hereafter A-M) show how a class of social choice functions can be virtually implemented in iteratively undominated strategies. This work has several important features: the mechanisms used are finite and not too difficult to understand, and so less objectionable in this regard than many in the literature; the class of social choice functions implemented is large; and the solution concept-Nash equilibrium determined uniquely by iterative elimination of strongly dominated strategies-is relatively uncontroversial. The point of this note is to argue that the mechanisms used by A-M unfortunately tend to generate games in which the iterative removal of strongly dominated strategies sometimes is indeed (or ought to be) controversial.2 We proceed by first examining an example of a related but simpler implementation problem in which the argument is easily exposed, then indicating how the argument applies generally in the A-M setup. Consider the following much-discussed two-player coordination game: