“…In contrast to the traditional setup in social choice theory, which typically only involves ordinal preferences, his result relies on the axioms of von Neumann and Morgenstern [36] (or an equivalent set of axioms) in order to compare lotteries over alternatives. The gap between Gibbard and Satterthwaite's theorem for resolute SCFs and Gibbard's theorem for decision schemes has been filled by a number of impossibility results for irresolute SCFs with varying underlying notions of how to compare sets of alternatives with each other (e.g., [15,1,2,22,10,5,8,28,35]), many of which are surveyed by Taylor [34] and Barberà [4].…”