A mechanism implements a social choice correspondence f in mixed Nash equilibrium if, at any preference profile, the set of all (pure and mixed) Nash equilibrium outcomes coincides with the set of f-optimal alternatives for all cardinal representations of the preference profile. Unlike Maskinʼs...

We consider the problem of implementing a social choice correspondence H in Nash equilibrium when the constitution of the society is given by an effectivity function E. It is assumed that the effectivity function of $ H,E^{H}$, is a sub-correspondence of E. We found necessary and efficient...