Hyperfunctions are social choice rules which assign sets of alternatives to preference profiles over sets. Therefore, they are more general objects compared to standard (social choice) correspondences. In fact, every correspondence can be expressed in terms of an equivalent hyperfunction. We give a partial characterization of Nash-implementable hyperfunctions and explore the conditions under which correspondences have Nash-implementable equivalent hyperfunctions. While the strength of these conditions depends on the axioms used to extend preferences over alternatives to sets, they are at most as strong as the conjunction of Maskin monotonicity with the no veto power condition. Thus, our approach expands the set of Nash-implementable social choice rules. In fact, social choice rules such as the majority rule and the top cycle are Nash-implementable through their equivalent hyperfunctions, while they are not Maskin-monotonic, and thus, not Nash-implementable in the standard framework.
展开▼
