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.:
- Kumabe, Masahiro & Mihara, H. Reiju, 2008.
"Preference aggregation theory without acyclicity: The core without majority dissatisfaction,"
11728, 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.
- Mihara, H.R., 1994.
"Arrow's Theorem and Turing Computability,"
276, Minnesota - Center for Economic Research.
- 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.
- Masahiro Kumabe & H. Reiju Mihara, 2008.
"The Nakamura numbers for computable simple games,"
Social Choice and Welfare,
Springer, vol. 31(4), pages 621-640, December.
- Peleg, Bezalel, 2002. "Game-theoretic analysis of voting in committees," Handbook of Social Choice and Welfare, in: K. J. Arrow & A. K. Sen & K. Suzumura (ed.), Handbook of Social Choice and Welfare, edition 1, volume 1, chapter 8, pages 395-423 Elsevier.
- Richter, Marcel K. & Wong, Kam-Chau, 1999. "Computable preference and utility," Journal of Mathematical Economics, Elsevier, vol. 32(3), pages 339-354, November.
- Nabil I. Al-Najjar & Luca Anderlini & Leonardo Felli, 2003.
CESifo Working Paper Series
1092, CESifo Group Munich.
- H. Reiju Mihara, 2003.
"Nonanonymity and sensitivity of computable simple games,"
Game Theory and Information
0310006, EconWPA, revised 01 Jun 2004.
- Mihara, H. Reiju, 2004. "Nonanonymity and sensitivity of computable simple games," Mathematical Social Sciences, Elsevier, vol. 48(3), pages 329-341, November.
- 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.
- repec:cup:cbooks:9780521074650 is not listed on IDEAS
- 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.
- Kelly, Jerry S., 1988. "Social choice and computational complexity," Journal of Mathematical Economics, Elsevier, vol. 17(1), pages 1-8, February.
- 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.
- 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.
- 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.
- 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.
- Anderlini, L. & Felli, L., 1993.
"Incomplete Written Contracts: Undescribable States of Nature,"
183, Cambridge - Risk, Information & Quantity Signals.
- Anderlini, Luca & Felli, Leonardo, 1994. "Incomplete Written Contracts: Undescribable States of Nature," The Quarterly Journal of Economics, MIT Press, vol. 109(4), pages 1085-1124, November.
- H. Reiju Mihara, 1997. "Arrow's Theorem, countably many agents, and more visible invisible dictators," Public Economics 9705001, EconWPA, revised 07 May 1997.
- Anthony Downs, 1957. "An Economic Theory of Political Action in a Democracy," Journal of Political Economy, University of Chicago Press, vol. 65, pages 135.
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.