A simple sufficient condition for strong implementation
In an important step forward Maskin [E. Maskin, Nash equilibrium and welfare optimality, Rev. Econ. Stud. 66 (1999) 23–38] showed that two properties – monotonicity and no veto power – are together sufficient for Nash implementation. In contrast to the vast literature that followed, this characterization has two major advantages: First, it is often easy to verify, and second, it has an elegant and simple interpretation. However, there does not exist a similar condition for social choice correspondences that are implementable in strong equilibrium. All existing characterizations are either hard to verify or apply only to comprehensive preference domains. In this paper we improve the situation by giving one such condition. Moreover, using well-known examples we show that this is a practical tool.