We define different concepts of group strategy-proofness for social choice functions. We discuss the connections between the defined concepts under different assumptions on their domains of definition. We characterize the social choice functions that satisfy each one of them and whose ranges...

A social choice function may or may not satisfy a desirable property depending on its domain of definition. For the same reason, different conditions may be equivalent for functions defined on some domains, while not in other cases. Understanding the role of domains is therefore a crucial issue...

When members of a voting body exhibit single peaked preferences, pair-wise majority voting equilibria (Condorcet winners) always exist. Moreover, they coincide with the median(s) of the votersʼ most preferred alternatives. This important fact is known as the median voter result. Variants of it...

A decision-maker exhibits preference for flexibility if he always prefers any set of alternatives to its subsets, even when two of them contain the same best element. Desire for flexibility can be explained as the consequence of the agent’s uncertainty along a two-stage process, where he must...

This chapter surveys the literature on strategy proofness from a historical perspective. While I discuss the connections with other works on incentives in mechanism design, the main emphasis is on social choice models.