Skip to main content

Self-implementation of Social Choice Correspondences in Strong Equilibrium

  • Chapter
  • First Online:
Book cover Social Design

Part of the book series: Studies in Economic Design ((DESI))

Abstract

A social choice correspondence is self-implementable in strong equilibrium if it is implementable in strong equilibrium by a social choice function selecting from the correspondence itself as a game form. We characterize all social choice correspondences implementable this way by an anonymous social choice function satisfying no veto power, given that the number of agents is large relative to the number of alternatives. It turns out that these are exactly the social choice correspondences resulting from feasible elimination procedures as introduced in Peleg (Econometrica 46:153–161, 1978).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    Here, σ NS denotes the restriction of σ to NS. Similar notation will be used throughout the paper.

  2. 2.

    Dependence on β is often not mentioned when confusion is unlikely.

  3. 3.

    See Lemma 5.3.5 in Peleg (1984); or Remark 9.3.7 in Peleg and Peters (2010), based on Theorem 9.3.6 in the same source. In turn, the latter result goes back to Polishchuk (1978). More generally, Lemma 3.7 in Peleg and Peters (2017b) shows Maskin monotonicity of an extension of M β.

  4. 4.

    Also this result can be deduced from Theorem 9.3.6 in Peleg and Peters (2010). It is included as Lemma 3.5 in Peleg and Peters (2017a).

  5. 5.

    \(R^i_{|B}\) denotes the restriction of R i to B.

  6. 6.

    Alternatively, a proof can be deduced from Theorem 5.5.3 in Peleg (1984), which in turn is based on Holzman (1986). We include a proof here for completeness, and additionally to avoid introduction of more definitions and concepts.

  7. 7.

    These functions have been first formally introduced in Moulin and Peleg (1982). Here we just use some of the associated terminology.

  8. 8.

    Many of the arguments in this part are based on Chapter 10 in Peleg and Peters (2010) and the references therein, in particular Holzman (1986).

  9. 9.

    This lemma states that the effectivity function associated with F is ‘maximal’. See Moulin and Peleg (1982) or Peleg (1984).

  10. 10.

    Cf. Moulin (1983).

References

  • Aumann, R. J. (1959) Acceptable points in general cooperative n-person games. In Contributions to the theory of games. Annals of mathematic studies no. 40 (Vol. IV). Princeton, NJ: Princeton University Press.

    Google Scholar 

  • Gibbard, A. (1973). Manipulation of voting schemes: A general result. Econometrica, 41, 587–602.

    Article  Google Scholar 

  • Holzman, R. (1986). On strong representations of games by social choice functions. Journal of Mathematical Economics, 15, 39–57.

    Article  Google Scholar 

  • Hurwicz, L. (1972). On informationally decentralized systems. In C. B. Mcguire & R. Radner (Eds.), Decision and organization. Amsterdam: North-Holland.

    Google Scholar 

  • Jackson, M. O. (2001). A crash course in implementation theory. Social Choice and Welfare, 18, 655–708.

    Article  Google Scholar 

  • Maskin, E. (1999). Nash equilibrium and welfare optimality. The Review of Economic Studies, 66, 23–38.

    Article  Google Scholar 

  • Moulin, H. (1983). The strategy of social choice. Amsterdam: North-Holland.

    Google Scholar 

  • Moulin, H., & Peleg, B. (1982). Cores of effectivity functions and implementation theory. Journal of Mathematical Economics, 10, 115–145.

    Article  Google Scholar 

  • Peleg, B. (1978). Consistent voting systems. Econometrica, 46, 153–161.

    Article  Google Scholar 

  • Peleg, B. (1984). Game theoretic analysis of voting in committees. Cambridge: Cambridge University Press.

    Book  Google Scholar 

  • Peleg, B., & Peters, H. (2010). Strategic social choice: Stable representations of constitutions. Heidelberg: Springer.

    Book  Google Scholar 

  • Peleg, B., & Peters, H. (2017a). Feasible elimination procedures in social choice: An axiomatic characterization. Research in Economics, 71, 43–50.

    Article  Google Scholar 

  • Peleg, B., & Peters, H. (2017b). Choosing k from m: Feasible elimination procedures revisited. Games and Economic Behavior, 103, 254–261.

    Article  Google Scholar 

  • Polishchuk, I. (1978). Monotonicity and uniqueness of consistent voting systems. Center for Research in Mathematical Economics and Game Theory, Hebrew University of Jerusalem.

    Google Scholar 

  • Satterthwaite, M. A. (1975). Strategy-proofness and Arrow’s conditions: Existence and correspondence theorems for voting procedures and social welfare functions. Journal of Economic Theory, 10, 187–207.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Hans Peters .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Peleg, B., Peters, H. (2019). Self-implementation of Social Choice Correspondences in Strong Equilibrium. In: Trockel, W. (eds) Social Design. Studies in Economic Design. Springer, Cham. https://doi.org/10.1007/978-3-319-93809-7_17

Download citation

Publish with us

Policies and ethics