The problem of determinacy of infinite games from an intuitionistic point of view

In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Springer Verlag. pp. 351--370 (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

External links

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

Through your library

Similar books and articles

The axiom of real Blackwell determinacy.Daisuke Ikegami, David de Kloet & Benedikt Löwe - 2012 - Archive for Mathematical Logic 51 (7-8):671-685.
Parallel strategies.Pavel Pudlák - 2003 - Journal of Symbolic Logic 68 (4):1242-1250.
Games for truth.P. D. Welch - 2009 - Bulletin of Symbolic Logic 15 (4):410-427.
Fixed point logics.Anuj Dawar & Yuri Gurevich - 2002 - Bulletin of Symbolic Logic 8 (1):65-88.
Relational quantum mechanics and the determinacy problem.Matthew J. Brown - 2009 - British Journal for the Philosophy of Science 60 (4):679-695.
A game‐theoretic proof of analytic Ramsey theorem.Kazuyuki Tanaka - 1992 - Mathematical Logic Quarterly 38 (1):301-304.
More on cichoń's diagram and infinite games.Masaru Kada - 2000 - Journal of Symbolic Logic 65 (4):1713-1724.
Information Tracking in Games on Graphs.Dietmar Berwanger & Łukasz Kaiser - 2010 - Journal of Logic, Language and Information 19 (4):395-412.

Analytics

Added to PP
2014-01-27

Downloads
13 (#1,010,467)

6 months
6 (#504,917)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Constructivism in Mathematics, An Introduction.A. Troelstra & D. Van Dalen - 1991 - Tijdschrift Voor Filosofie 53 (3):569-570.
Linear Orderings.Joseph G. Rosenstein - 1983 - Journal of Symbolic Logic 48 (4):1207-1209.
The continuum hypothesis in intuitionism.W. Gielen, H. de Swart & W. Veldman - 1981 - Journal of Symbolic Logic 46 (1):121-136.
The Continuum Hypothesis in Intuitionism.W. Gielen, H. De Swart & W. Veldman - 1981 - Journal of Symbolic Logic 46 (1):121 - 136.
Brouwer’s Real Thesis on Bars.Wim Veldman - 2006 - Philosophia Scientiae:21-42.

View all 6 references / Add more references