Central and East European
Society for Phenomenology

Repository | Book | Chapter

187390

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

Wim Veldman

pp. 351-370

Abstract

Taking Brouwer's intuitionistic standpoint, we examine finite and infinite games of perfect information for players I and II. If one understands the disjunction occurring in the classical notion of determinacy constructively, even finite games are not always determinate. We therefore suggest an intuitionistically different notion of determinacy and prove that every subset of Cantor space is determinate in the proposed sense. Our notion is biased and considers games from the viewpoint of player I. In Cantor space, both player I and player II have two alternative possibilities for each move. It turns out that every subset of a space, where player II has, for each one of his moves, no more than a finite number of alternative possibilities while player I perhaps has infinitely many choices, is determinate in the proposed sense from the viewpoint of player I.

Publication details

Published in:

Majer Ondrej, Pietarinen Ahti-Veikko J., Tulenheimo Tero (2009) Games: unifying logic, language, and philosophy. Dordrecht, Springer.

Pages: 351-370

DOI: 10.1007/978-1-4020-9374-6_12

Full citation:

Veldman Wim (2009) „The problem of determinacy of infinite games from an intuitionistic point of view“, In: O. Majer, A. J. Pietarinen & T. Tulenheimo (eds.), Games, Dordrecht, Springer, 351–370.