Exactly and strongly consistent representations of effectivity functions

Part of the Studies in Choice and Welfare book series (WELFARE)


As argued in the introductory section of the previous chapter it is important to find robust voting procedures for constitutions. In our approach, ‘robust’ means ‘exactly and strongly consistent’ (ESC): the game induced by the social choice function should have a strong equilibrium for each profile of preferences which, moreover, results in the same outcome as truthful voting. In this chapter we extend the study of ESC representations to general effectivity functions. We start, in Section 10.2, by generalizing the definition of a feasible elimination procedure to arbitrary effectivity functions: the generalization uses blocking coalitions instead of blocking coefficients. An effectivity function will be called ‘elimination stable’ if it admits at least one feasible elimination procedure (f.e.p.) for each profile of linear orderings (strict preferences). We show that if the effectivity function is maximal, stable, and elimination stable, then it has an ESC representation. In fact, each selection from the maximal alternatives – alternatives that result from an f.e.p. – is an ESC representation.


Linear Ordering Effectivity Function Consistent Representation Social Choice Function Strong Equilibrium 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  1. 1.Institute of Mathematics and Center for the Study of RationalityThe Hebrew University of JerusalemJerusalemIsrael
  2. 2.Department of Quantitative EconomicsUniversity of MaastrichtMaastrichtThe Netherlands

Personalised recommendations