Strategy-proofness and Arrow's conditions: Existence and correspondence theorems for voting procedures and social welfare functions

Satterthwaite’s landmark 1975 work on strategy-proofness and Arrow’s conditions, investigating the relationship between preventing strategic manipulation in voting procedures and satisfying Arrow’s impossibility conditions. This foundational work in mechanism design theory demonstrates existence and correspondence theorems about which voting rules can achieve strategy-proofness while maintaining desirable properties. Cited 848 times.