= Binary social ordering from strategyproof choice
For an onto <strategyproof> rule on unrestricted strict preference orders, rank-raising monotonicity implies unanimity and respect for unanimous pairwise preference. Promote each alternative pair to the top two positions in all reports. The selected member depends only on each voter's comparison of that pair. These binary choices form a strict transitive social order: a directed three-cycle would contradict the rule's choice when that triple is placed above all other alternatives, because the chosen member must win both of its binary comparisons. The original outcome is the top of this order. This creates a social ordering with pairwise independence without presuming it as an axiom of the original choice rule.
Back to article page
