IDEAS home Printed from https://ideas.repec.org/p/pra/mprapa/437.html
   My bibliography  Save this paper

Computability of simple games: A characterization and application to the core

Author

Listed:
  • Kumabe, Masahiro
  • Mihara, H. Reiju

Abstract

It was shown earlier that the class of algorithmically computable simple games (i) includes the class of games that have finite carriers and (ii) is included in the class of games that have finite winning coalitions. This paper characterizes computable games, strengthens the earlier result that computable games violate anonymity, and gives examples showing that the above inclusions are strict. It also extends Nakamura’s theorem about the nonemptyness of the core and shows that computable simple games have a finite Nakamura number, implying that the number of alternatives that the players can deal with rationally is restricted.

Suggested Citation

  • Kumabe, Masahiro & Mihara, H. Reiju, 2006. "Computability of simple games: A characterization and application to the core," MPRA Paper 437, University Library of Munich, Germany.
    • Handle: RePEc:pra:mprapa:437
    as

    Download full text from publisher

    File URL: https://mpra.ub.uni-muenchen.de/437/1/MPRA_paper_437.pdf
    File Function: original version
    Download Restriction: no
    File URL: https://mpra.ub.uni-muenchen.de/3296/1/MPRA_paper_3296.pdf
    File Function: revised version
    Download Restriction: no
    File URL: https://mpra.ub.uni-muenchen.de/4403/1/MPRA_paper_4403.pdf
    File Function: revised version
    Download Restriction: no
    File URL: https://mpra.ub.uni-muenchen.de/6803/1/MPRA_paper_6803.pdf
    File Function: revised version
    Download Restriction: no
    ---><---

    Other versions of this item:

    References listed on IDEAS

    as
    1. Canning, David, 1992. "Rationality, Computability, and Nash Equilibrium," Econometrica, Econometric Society, vol. 60(4), pages 877-888, July.
    2. Truchon M., 1996. "Voting games and acyclic collective choice rules," Mathematical Social Sciences, Elsevier, vol. 31(1), pages 55-55, February.
    3. H. Reiju Mihara, 1997. "Anonymity and neutrality in Arrow's Theorem with restricted coalition algebras," Social Choice and Welfare, Springer;The Society for Social Choice and Welfare, vol. 14(4), pages 503-512.
    4. Spear, Stephen E, 1989. "Learning Rational Expectations under Computability Constraints," Econometrica, Econometric Society, vol. 57(4), pages 889-910, July.
    5. Evans, Robert & Thomas, Jonathan P, 2001. "Cooperation and Punishment," Econometrica, Econometric Society, vol. 69(4), pages 1061-1075, July.
    6. Anderlini, Luca & Sabourian, Hamid, 1995. "Cooperation and Effective Computability," Econometrica, Econometric Society, vol. 63(6), pages 1337-1369, November.
    7. Peleg,Bezalel, 2008. "Game Theoretic Analysis of Voting in Committees," Cambridge Books, Cambridge University Press, number 9780521074650, October.
    8. Kam-Chau Wong & Marcel K. Richter, 1999. "Non-computability of competitive equilibrium," Economic Theory, Springer;Society for the Advancement of Economic Theory (SAET), vol. 14(1), pages 1-27.
    9. H. Reiju Mihara, 2001. "Existence of a coalitionally strategyproof social choice function: A constructive proof," Social Choice and Welfare, Springer;The Society for Social Choice and Welfare, vol. 18(3), pages 543-553.
    10. Andjiga, Nicolas Gabriel & Mbih, Boniface, 2000. "A note on the core of voting games," Journal of Mathematical Economics, Elsevier, vol. 33(3), pages 367-372, April.
    11. Andrei Gomberg & César Martinelli & Ricard Torres, 2005. "Anonymity in large societies," Social Choice and Welfare, Springer;The Society for Social Choice and Welfare, vol. 25(1), pages 187-205, October.
    12. Luca Anderlini & Leonardo Felli, 1994. "Incomplete Written Contracts: Undescribable States of Nature," The Quarterly Journal of Economics, President and Fellows of Harvard College, vol. 109(4), pages 1085-1124.
    13. Richter, Marcel K. & Wong, Kam-Chau, 1999. "Computable preference and utility," Journal of Mathematical Economics, Elsevier, vol. 32(3), pages 339-354, November.
    14. Masahiro Kumabe & H. Reiju Mihara, 2008. "The Nakamura numbers for computable simple games," Social Choice and Welfare, Springer;The Society for Social Choice and Welfare, vol. 31(4), pages 621-640, December.
    15. Kelly, Jerry S., 1988. "Social choice and computational complexity," Journal of Mathematical Economics, Elsevier, vol. 17(1), pages 1-8, February.
    16. Anthony Downs, 1957. "An Economic Theory of Political Action in a Democracy," Journal of Political Economy, University of Chicago Press, vol. 65(2), pages 135-135.
    17. Prasad, Kislaya, 1997. "On the computability of Nash equilibria," Journal of Economic Dynamics and Control, Elsevier, vol. 21(6), pages 943-953, June.
    18. Banks, Jeffrey S. & Duggan, John & Le Breton, Michel, 2006. "Social choice and electoral competition in the general spatial model," Journal of Economic Theory, Elsevier, vol. 126(1), pages 194-234, January.
    19. Kumabe, Masahiro & Mihara, H. Reiju, 2008. "Computability of simple games: A characterization and application to the core," Journal of Mathematical Economics, Elsevier, vol. 44(3-4), pages 348-366, February.
    20. Itzhak Gilboa, 1990. "Philosophical Applications of Kolmogorov's Complexity Measure," Discussion Papers 923, Northwestern University, Center for Mathematical Studies in Economics and Management Science.
    21. H. Reiju Mihara, 1997. "Arrow's Theorem and Turing computability," Economic Theory, Springer;Society for the Advancement of Economic Theory (SAET), vol. 10(2), pages 257-276.
    22. Mihara, H. Reiju, 2004. "Nonanonymity and sensitivity of computable simple games," Mathematical Social Sciences, Elsevier, vol. 48(3), pages 329-341, November.
    23. Weber, Robert J., 1994. "Games in coalitional form," Handbook of Game Theory with Economic Applications, in: R.J. Aumann & S. Hart (ed.), Handbook of Game Theory with Economic Applications, edition 1, volume 2, chapter 36, pages 1285-1303, Elsevier.
    24. Kumabe, Masahiro & Mihara, H. Reiju, 2011. "Computability of simple games: A complete investigation of the sixty-four possibilities," Journal of Mathematical Economics, Elsevier, vol. 47(2), pages 150-158, March.
    25. Barton L. Lipman, 1995. "Information Processing and Bounded Rationality: A Survey," Canadian Journal of Economics, Canadian Economics Association, vol. 28(1), pages 42-67, February.
    26. H. Reiju Mihara, 1997. "Arrow's Theorem, countably many agents, and more visible invisible dictators," Public Economics 9705001, University Library of Munich, Germany, revised 01 Jun 2004.
    27. Shanfeng Zhu & Xiaotie Deng & Maocheng Cai & Qizhi Fang, 2002. "On computational complexity of membership test in flow games and linear production games," International Journal of Game Theory, Springer;Game Theory Society, vol. 31(1), pages 39-45.
    28. Arrow, Kenneth J, 1986. "Rationality of Self and Others in an Economic System," The Journal of Business, University of Chicago Press, vol. 59(4), pages 385-399, October.
    29. Mark Fey, 2004. "May’s Theorem with an infinite population," Social Choice and Welfare, Springer;The Society for Social Choice and Welfare, vol. 23(2), pages 275-293, October.
    30. Xiaotie Deng & Christos H. Papadimitriou, 1994. "On the Complexity of Cooperative Solution Concepts," Mathematics of Operations Research, INFORMS, vol. 19(2), pages 257-266, May.
    31. Ariel Rubinstein, 1997. "Modeling Bounded Rationality," MIT Press Books, The MIT Press, edition 1, volume 1, number 0262681005, April.
    32. Armstrong, Thomas E., 1985. "Precisely dictatorial social welfare functions : Erratum and Addendum to `arrows theorem with restricted coalition algebras'," Journal of Mathematical Economics, Elsevier, vol. 14(1), pages 57-59, February.
    Full references (including those not matched with items on IDEAS)

    Citations

    Citations are extracted by the CitEc Project, subscribe to its RSS feed for this item.
    as


    Cited by:

    1. Kumabe, Masahiro & Mihara, H. Reiju, 2011. "Preference aggregation theory without acyclicity: The core without majority dissatisfaction," Games and Economic Behavior, Elsevier, vol. 72(1), pages 187-201, May.
    2. Masahiro Kumabe & H. Reiju Mihara, 2008. "The Nakamura numbers for computable simple games," Social Choice and Welfare, Springer;The Society for Social Choice and Welfare, vol. 31(4), pages 621-640, December.
    3. Kumabe, Masahiro & Mihara, H. Reiju, 2008. "Computability of simple games: A characterization and application to the core," Journal of Mathematical Economics, Elsevier, vol. 44(3-4), pages 348-366, February.
    4. Kumabe, Masahiro & Mihara, H. Reiju, 2011. "Computability of simple games: A complete investigation of the sixty-four possibilities," Journal of Mathematical Economics, Elsevier, vol. 47(2), pages 150-158, March.
    5. Koji Takamiya & Akira Tanaka, 2016. "Computational complexity in the design of voting rules," Theory and Decision, Springer, vol. 80(1), pages 33-41, January.
    6. Pongou, Roland & Tondji, Jean-Baptiste, 2024. "The reciprocity set," Journal of Mathematical Economics, Elsevier, vol. 112(C).

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Kumabe, Masahiro & Mihara, H. Reiju, 2011. "Computability of simple games: A complete investigation of the sixty-four possibilities," Journal of Mathematical Economics, Elsevier, vol. 47(2), pages 150-158, March.
    2. Masahiro Kumabe & H. Reiju Mihara, 2008. "The Nakamura numbers for computable simple games," Social Choice and Welfare, Springer;The Society for Social Choice and Welfare, vol. 31(4), pages 621-640, December.
    3. Mihara, H. Reiju, 1999. "Arrow's theorem, countably many agents, and more visible invisible dictators1," Journal of Mathematical Economics, Elsevier, vol. 32(3), pages 267-287, November.
    4. Mihara, H. Reiju, 2004. "Nonanonymity and sensitivity of computable simple games," Mathematical Social Sciences, Elsevier, vol. 48(3), pages 329-341, November.
    5. Kumabe, Masahiro & Mihara, H. Reiju, 2011. "Preference aggregation theory without acyclicity: The core without majority dissatisfaction," Games and Economic Behavior, Elsevier, vol. 72(1), pages 187-201, May.
    6. H. Reiju Mihara, 1997. "Arrow's Theorem, countably many agents, and more visible invisible dictators," Public Economics 9705001, University Library of Munich, Germany, revised 01 Jun 2004.
    7. Kari Saukkonen, 2007. "Continuity of social choice functions with restricted coalition algebras," Social Choice and Welfare, Springer;The Society for Social Choice and Welfare, vol. 28(4), pages 637-647, June.
    8. H. Reiju Mihara, 1997. "Arrow's Theorem and Turing computability," Economic Theory, Springer;Society for the Advancement of Economic Theory (SAET), vol. 10(2), pages 257-276.
    9. Ricard Torres, 2002. "Smallness of Invisible Dictators," Working Papers 0213, Centro de Investigacion Economica, ITAM, revised Sep 2003.
    10. Andrei Gomberg & César Martinelli & Ricard Torres, 2005. "Anonymity in large societies," Social Choice and Welfare, Springer;The Society for Social Choice and Welfare, vol. 25(1), pages 187-205, October.
    11. Norbert Brunner & H. Reiju Mihara, 1999. "Arrow's theorem, Weglorz' models and the axiom of choice," Public Economics 9902001, University Library of Munich, Germany, revised 01 Jun 2004.
    12. Torres, Ricard, 2005. "Limiting Dictatorial rules," Journal of Mathematical Economics, Elsevier, vol. 41(7), pages 913-935, November.
    13. Anderlini, Luca, 1998. "Forecasting errors and bounded rationality: An example," Mathematical Social Sciences, Elsevier, vol. 36(2), pages 71-90, September.
    14. Bossert, Walter & Cato, Susumu, 2020. "Acyclicity, anonymity, and prefilters," Journal of Mathematical Economics, Elsevier, vol. 87(C), pages 134-141.
    15. Potgieter, Petrus H. & Rosinger, Elemér E., 2007. "Is Economics Entering its Post-Witchcraft Era?," MPRA Paper 3340, University Library of Munich, Germany.
    16. Ying-Fang Kao & Ragupathy Venkatachalam, 2021. "Human and Machine Learning," Computational Economics, Springer;Society for Computational Economics, vol. 57(3), pages 889-909, March.
    17. Susumu Cato, 2020. "Quasi-stationary social welfare functions," Theory and Decision, Springer, vol. 89(1), pages 85-106, July.
    18. Enriqueta Aragones & Itzhak Gilboa & Andrew Postlewaite & David Schmeidler, 2012. "Fact-Free Learning," World Scientific Book Chapters, in: Case-Based Predictions An Axiomatic Approach to Prediction, Classification and Statistical Learning, chapter 8, pages 185-210, World Scientific Publishing Co. Pte. Ltd..
    19. Xefteris, Dimitrios, 2017. "Multidimensional electoral competition between differentiated candidates," Games and Economic Behavior, Elsevier, vol. 105(C), pages 112-121.
    20. Mehrdad Vahabi, 1999. "From Walrasian General Equilibrium to Incomplete Contracts: Making Sense of Institutions," Post-Print halshs-03704424, HAL.

    More about this item

    Keywords

    Voting games; infinitely many players; recursion theory; Turingcomputability; computable manuals and contracts;
    All these keywords.

    JEL classification:

    • D90 - Microeconomics - - Micro-Based Behavioral Economics - - - General
    • C69 - Mathematical and Quantitative Methods - - Mathematical Methods; Programming Models; Mathematical and Simulation Modeling - - - Other
    • D71 - Microeconomics - - Analysis of Collective Decision-Making - - - Social Choice; Clubs; Committees; Associations
    • C71 - Mathematical and Quantitative Methods - - Game Theory and Bargaining Theory - - - Cooperative Games

    NEP fields

    This paper has been announced in the following NEP Reports:

    Lists

    This item is featured on the following reading lists, Wikipedia, or ReplicationWiki pages:
    1. Rice's theorem in Wikipedia English

    Statistics

    Access and download statistics

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:pra:mprapa:437. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Joachim Winter (email available below). General contact details of provider: https://edirc.repec.org/data/vfmunde.html .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.