✦ LIBER ✦

First steps in constructive game theory

✍ Scribed by Douglas S. Bridges

Publisher: John Wiley and Sons
Year: 2004
Tongue: English
Weight: 127 KB
Volume: 50
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.200310115

No coin nor oath required. For personal study only.

✦ Synopsis

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. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

📜 SIMILAR VOLUMES

The natural numbers in constructive set

The natural numbers in constructive set theory

✍ Michael Rathjen 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 191 KB 👁 1 views

## Abstract Constructive set theory started with Myhill's seminal 1975 article [8]. This paper will be concerned with axiomatizations of the natural numbers in constructive set theory discerned in [3], clarifying the deductive relationships between these axiomatizations and the strength of various

First in the Game

✍ Keene, Christopher 📂 Fiction 📅 2017 🏛 Future House Publishing 🌐 English ⚖ 54 KB

First in the Game

✍ Christopher Keene 📂 Fiction 📅 2017 🏛 Future House Publishing 🌐 English ⚖ 54 KB

A note on Bar Induction in Constructive

A note on Bar Induction in Constructive Set Theory

✍ Michael Rathjen 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 113 KB 👁 1 views

## Abstract Bar Induction occupies a central place in Brouwerian mathematics. This note is concerned with the strength of Bar Induction on the basis of Constructive Zermelo‐Fraenkel Set Theory, CZF. It is shown that CZF augmented by decidable Bar Induction proves the 1‐consistency of CZF. This answ

A cooperative game in search theory

✍ Ryusuke Hohzaki 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 168 KB

On some constructive aspects of monogeni

On some constructive aspects of monogenic function theory in ℝ4

✍ J. Morais; H. T. Le; W. Sprößig 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 230 KB

## Communicated by K. Guerlebeck As is well known, a possible generalization to R 4 of the classical Cauchy-Riemann system leads to the so-called Riesz system. The main goal of this paper is to construct explicitly a complete orthonormal system of polynomial solutions of this system with respect t