Jackson (1989) and Yamato (1990) 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...