A strict social welfare function (SSWF) that always yields an asymmetric binary relation with a single maximal alternative induces a social choice rule on its domain. It is known that if the induced rule is strategy-proof then it can also be generated by a SSWF satisfying non-reversal. This...

With as few as eight individuals and five alternatives, there are 561, 304, 372, 286, 875, 579, 077, 983 strategy-proof social choice rules.

X is infinite and social preference is quasitransitive. Subset Y of X is sufficient for {x,y} if x and y can be socially ordered with individual preference information over Y alone. If there is an integer β such that every pair of alternatives has a sufficient set with at most β members then...