On strategy-proof social choice correspondences

We introduce two new concepts of strategy-proofness for social choice correspondences based on the theory of preferences over sets of alternatives under complete uncertainty. One is based on Pattanaik and Peleg (Soc Choice Welf 1:113–122, 1984) and the other is based on Bossert et al. (Econ Theory 16:295–312, 2000). We prove that there is no social choice correspondence satisfying anonymity, neutrality, a range condition, and either of our concepts of strategy-proofness. An erratum to this article can be found at