Computability of simple games: A complete investigation of the sixty-four possibilities
Abstract Classify simple games into sixteen "types" in terms of the four conventional axioms: monotonicity, properness, strongness, and nonweakness. Further classify them into sixty-four classes in terms of finiteness (existence of a finite carrier) and algorithmic computability. For each such class, we either show that it is empty or give an example of a game belonging to it. We observe that if a type contains an infinite game, then it contains both computable ones and noncomputable ones. This strongly suggests that computability is logically, as well as conceptually, unrelated to the conventional axioms.
If you experience problems downloading a file, check if you have the proper application to view it first. In case of further problems read the IDEAS help page. Note that these files are not on the IDEAS site. Please be patient as the files may be large.
As the access to this document is restricted, you may want to look for a different version under "Related research" (further below) or search for a different version of it.
References listed on IDEAS
Please report citation or reference errors to , or , if you are the registered author of the cited work, log in to your RePEc Author Service profile, click on "citations" and make appropriate adjustments.:
- Kelly, Jerry S., 1988. "Social choice and computational complexity," Journal of Mathematical Economics, Elsevier, vol. 17(1), pages 1-8, February.
- Nabil I. Al-Najjar & Luca Anderlini & Leonardo Felli, 2003.
CESifo Working Paper Series
1092, CESifo Group Munich.
- H. Reiju Mihara, 1997. "Arrow's Theorem, countably many agents, and more visible invisible dictators," Public Economics 9705001, EconWPA, revised 07 May 1997.
- Lewis, Alain A., 1988. "An infinite version of arrow's theorem in the effective setting," Mathematical Social Sciences, Elsevier, vol. 16(1), pages 41-48, August.
- 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.
- Banks, Jeffrey & Duggan, John & Le Breton, Michel, 2003. "Social Choice and Electoral Competition in the General Spatial Model," IDEI Working Papers 188, Institut d'Économie Industrielle (IDEI), Toulouse.
- Luca Anderlini & Leonardo Felli, 1994.
"Incomplete Written Contracts: Undescribable States of Nature,"
The Quarterly Journal of Economics,
Oxford University Press, vol. 109(4), pages 1085-1124.
- Anderlini, L. & Felli, L., 1993. "Incomplete Written Contracts: Undescribable States of Nature," Papers 183, Cambridge - Risk, Information & Quantity Signals.
- Mihara, H.R., 1994.
"Arrow's Theorem and Turing Computability,"
276, Minnesota - Center for Economic Research.
- Kumabe, Masahiro & Mihara, H. Reiju, 2006.
"Computability of simple games: A characterization and application to the core,"
437, University Library of Munich, Germany.
- 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.
- Kumabe, Masahiro & Mihara, H. Reiju, 2007.
"The Nakamura numbers for computable simple games,"
3684, University Library of Munich, Germany.
- 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.
- Kumabe, Masahiro & Mihara, H. Reiju, 2008. "Preference aggregation theory without acyclicity: The core without majority dissatisfaction," MPRA Paper 11728, University Library of Munich, Germany.
- 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.
- Peleg,Bezalel, 2008.
"Game Theoretic Analysis of Voting in Committees,"
Cambridge University Press, number 9780521074650.
- 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.
- William Thomson, 2001. "On the axiomatic method and its recent applications to game theory and resource allocation," Social Choice and Welfare, Springer, vol. 18(2), pages 327-386.
- Anthony Downs, 1957. "An Economic Theory of Political Action in a Democracy," Journal of Political Economy, University of Chicago Press, vol. 65, pages 135.
- Mihara, H. Reiju, 2004.
"Nonanonymity and sensitivity of computable simple games,"
Mathematical Social Sciences,
Elsevier, vol. 48(3), pages 329-341, November.
- H. Reiju Mihara, 2003. "Nonanonymity and sensitivity of computable simple games," Game Theory and Information 0310006, EconWPA, revised 01 Jun 2004.
- Richter, Marcel K. & Wong, Kam-Chau, 1999. "Computable preference and utility," Journal of Mathematical Economics, Elsevier, vol. 32(3), pages 339-354, November.
- 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, vol. 31(1), pages 39-45.
When requesting a correction, please mention this item's handle: RePEc:eee:mateco:v:47:y:2011:i:2:p:150-158. See general information about how to correct material in RePEc.
For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: (Zhang, Lei)
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 references are entirely missing, you can add them using this form.
If the full references list an item that is present in RePEc, but the system did not link 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 profile, as there may be some citations waiting for confirmation.
Please note that corrections may take a couple of weeks to filter through the various RePEc services.