Double implementation in Nash and undominated Nash equilibria in social choice environments

Summary Jackson 1] and Yamato 12] constructed game forms which implement social choice correspondences in Nash and undominated Nash equilibria simultaneously in exchange economies. In this paper, I deal with social choice environments and construct a game form which implements social choice correspondences satisfying monotonicity, no veto power and having at least three agents in Nash and undominated Nash equilibria under the existence of an alternative called a holocaust. The game form constructed in this paper includes an integer game but satisfies the boundedness condition introduced by Jackson 1].I am grateful to Professors Tatsuyoshi Saijo and Stephen Turnbull, and to an anonymous referee for their helpful comments and suggestions. However all remaining errors are mine. An earlier version of this paper was presented at the 1991 Annual Meeting of the Japan Association of Economics and Econometrics at Hokkaido University.After this paper was submitted toEconomic Theory I became aware of the work of Jackson, Palfrey, and Srivastava 2] who have obtained a similar result to mine as a by-product of their main result.