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.

This article surveys the literature that investigates the consistency of Arrow's social choice axioms when his unrestricted domain assumptions are replaced by domain conditions that incorporate the restrictions on agendas and preferences encountered in economic environments. Both social welfare...

Introduction -- Elementary Logic -- Sets, Relations, Functions -- Binary Relations -- Social Choice Theoretic Framework and Arrow Impossibility Theorem -- Some Important Value-Judgments, Rules and Theorems -- Implications of Weakening of Some of Arrow Conditions -- The Method of Majority...

I Preliminaries: Introduction -- Abstract Social Choiuce Problems and Concrete Resource Allocation Problems -- Describing an Allocation Problem: a Checklist -- II Axiom Types: Axiom Format -- Axiom Content: Delineating Broad Categories -- Axiom Content: Punctual Requirements on Welfare...