We consider domains that satisfy pervasiveness and top-connectedness, and we provide a necessary and sufficient condition for the existence of non-dictatorial, Pareto optimal, and group strategy-proof choice rules on those domains.
- d71 - "Social Choice; Clubs; Committees; Associations"
- Pareto optimality
- Group strategy-proofness
- Inseparable top-pair