First steps in constructive game theory

Mathematical Logic Quarterly 50 (4-5):501-506 (2004)
  Copy   BIBTEX

Abstract

The minimax theorem of matrix game theory is examined from a constructive point of view. It is then shown that the existence of solutions for matrix games cannot be proved constructively, but that a 2-by-2 game with at most one solution has a constructible solution

Categories

Keywords

Reprint years

DOI

10.1002/malq.200310115

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Brief Reminder of Constructive Type Theory.Shahid Rahman & Nicolas Clerbout - 2015 - In Shahid Rahman & Nicolas Clerbout (eds.), Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, Ctt Demonstrations and the Axiom of Choice. Cham, Switzerland: Springer.
Evolutionary game theory, morality, and Darwinism.Gary Mar - 2000 - Journal of Consciousness Studies 7 (1-2):1-2.
On social utility payoffs in games: a methodological comparison between Behavioural and Rational Game Theory. [REVIEW]Luca Zarri - 2010 - Theory and Decision 69 (4):587-598.
Constructive mathematics in theory and programming practice.Douglas Bridges & Steeve Reeves - 1999 - Philosophia Mathematica 7 (1):65-104.
Classical versus evolutionary game theory.Herbert Gintis - 2000 - Journal of Consciousness Studies 7 (1-2):1-2.
Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, Ctt Demonstrations and the Axiom of Choice.Shahid Rahman & Nicolas Clerbout - 2015 - Cham, Switzerland: Springer.
The natural numbers in constructive set theory.Michael Rathjen - 2008 - Mathematical Logic Quarterly 54 (1):83-97.
Game Theory: A Preliminary Exploration.Chang Hui-Liang & Tzu-Chia Yeh - 2006 - Philosophy and Culture 33 (3):165-181.
Reducible and Nonsensical Uses of Game Theory.Boudewijn de Bruin - 2008 - Philosophy of the Social Sciences 38 (2):247-266.
Evolutionary games without rationality?Martin Bunzl - 2002 - Philosophy of the Social Sciences 32 (3):365-378.
The Coming of Game Theory.Gianfranco Gambarelli & Guillermo Owen - 2004 - Theory and Decision 56 (1-2):1-18.
Apartness spaces as a framework for constructive topology.Douglas Bridges & Luminiţa Vîţă - 2003 - Annals of Pure and Applied Logic 119 (1-3):61-83.
Acting in concert or going it alone: Game theory and the law.Theodore M. Benditt - 2004 - Law and Philosophy 23 (6):615 - 630.
Conclusions and Work in Progress.Shahid Rahman & Nicolas Clerbout - 2015 - In Shahid Rahman & Nicolas Clerbout (eds.), Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, Ctt Demonstrations and the Axiom of Choice. Cham, Switzerland: Springer.
From Dialogical Strategies to CTT Demonstrations.Shahid Rahman & Nicolas Clerbout - 2015 - In Shahid Rahman & Nicolas Clerbout (eds.), Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, Ctt Demonstrations and the Axiom of Choice. Cham, Switzerland: Springer.

Analytics

Added to PP
2013-12-01

Downloads
8 (#1,287,956)

6 months
2 (#1,232,442)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On Farkas' lemma and related propositions in BISH.Josef Berger & Gregor Svindland - 2022 - Annals of Pure and Applied Logic 173 (2):103059.

Add more citations

References found in this work

No references found.

Add more references