Voting problems with a continuum of voters and finitely many alternatives are considered. The classical Arrow and Gibbard-Satterthwaite theorems are shown to persist in this model, not for single voters but for coalitions of positive size. The emphasis of the study is on strategic...

A game form constitutionally implements a social choice correspondence if it implements it in Nash equilibrium and, moreover, the associated effectivity functions coincide. This paper presents necessary and sufficient conditions for a unanimous social choice correspondence to be constitutionally...

Representations of constitutions -- to Part I -- Constitutions, effectivity functions, and game forms -- Nash consistent representations -- Acceptable representations -- Strongly consistent representations -- Nash consistent representation through lottery models -- On the continuity of...