Implementation under strong equilibrium. A complete characterization (Q2641198)

Let A be a set of social outcomes and N a finite set of voters. For every profile of preferences R, a social choice function f associates a choice set f(R). A game form G implements f in strong Nash equilibria if the set of strong Nash equilibria of G equals f(R) for every R. This paper gives sufficient conditions on A and f for such implementation.