The hypercore on social choice problem

In this paper, a class of stable and coalitionally nonmanipulable social choice correspondences is presented. Each correspondence in this class, called the hypercore, is induced from a social choice function with restricted domain of preference profile. It is proved that the correspondence is the intersection of cores over an equivalent class of profiles. On the contrary to Demange's max–max criterion, max–min criterion is adopted for defining a coalitional nonmanipulability. Although the core induced from a coalitionally nonmanipulable social choice function with a restricted domain does not necessarily satisfy the nonmanipulability in the max–min sense, it is shown the hypercore does.