A unifying impossibility theorem

This paper identifies and illuminates a common impossibility principle underlying a number of impossibility theorems in social choice. We consider social choice correspondences assigning a choice set to each non-empty subset of social alternatives. Three simple axioms are imposed as follows: unanimity, independence of preferences over infeasible alternatives, and choice consistency with respect to choices out of all possible alternatives. With more than three social alternatives and the universal preference domain, any social choice correspondence that satisfies our axioms is serially dictatorial. A number of known impossibility theorems-including Arrow's Impossibility Theorem, the Muller-Satterthwaite Theorem, and the impossibility theorem under strategic candidacy-follow as corollaries.