The determinacy of Blackwell games

Games of infinite length and perfect information have been studied for many years. There are numerous determinacy results for these games, and there is a wide body of work on consequences of their determinacy. Except for games with very special payoff functions, games of infinite length and imperfect information have been little studied. In 1969, David Blackwell [1] introduced a class of such games and proved a determinacy theorem for a subclass. During the intervening time, there has not been much progress in proving the determinacy of Blackwell's games. Orkin [17] extended Blackwell's result to a slightly wider class. Blackwell [2] found a new proof of his own result. Maitra and Sudderth [9, 10] improved Blackwell's result in a different direction from that of Orkin and also generalized to the case of stochastic games. Recently Vervoort [18] has obtained a substantial improvement. Nevertheless, almost all the basic questions have remained open. In this paper we associate with each Blackwell game a family of perfect information games, and we show that the (mixed strategy) determinacy of the former follows from the (pure strategy) determinacy of the latter. The complexity of the payoff function for the Blackwell game is approximately the same as the complexity of the payoff sets for the perfect information games. In particular, this means that the determinacy of Blackwell games with Borel measurable payoff functions follows from the known determinacy of perfect information games with Borel payoff sets.

[1]  L. Shapley,et al.  Statistics, probability, and game theory : papers in honor of David Blackwell , 1999 .

[2]  William D. Sudderth,et al.  Finitely additive stochastic games with Borel measurable payoffs , 1998, Int. J. Game Theory.

[3]  Itay Neeman.  Optimal proofs of determinacy , 1995, Bull. Symb. Log..

[4]  A. Maitra,et al.  Borel Stochastic Games with Lim Sup Payoff , 1993 .

[5]  Matthew Foreman.  Review: Donald A. Martin, John R. Steel, Projective Determinacy; W. Hugh Woodin, Supercompact Cardinals, Sets of Reals, and Weakly Homogeneous Trees; Donald A. Martin, John R. Steel, A Proof of Projective Determinacy , 1992 .

[6]  William D. Sudderth,et al.  An operator solution of stochastic games , 1992 .

[7]  Donald A. Martin,et al.  An Extension of Borel Determinacy , 1990, Ann. Pure Appl. Log..

[8]  John R. Steel,et al.  A proof of projective determinacy , 1989 .

[9]  Operator Solution of Infinite Gδ Games of Imperfect Information , 1989 .

[10]  W. Woodin,et al.  Supercompact cardinals, sets of reals, and weakly homogeneous trees. , 1988, Proceedings of the National Academy of Sciences of the United States of America.

[11]  Donald A. Martin,et al.  A Purely Inductive Proof of Borel Determinacy , 1985 .

[12]  Michael Orkin.  Infinite games with imperfect information , 1972 .

[13]  Harvey M. Friedman,et al.  Higher set theory and mathematical practice , 1971 .

[14]  Donald A. Matrin.  Measurable cardinals and analytic games , 1970 .

[15]  David D. Blackwell.  Infinite Gδ-Games with imperfect information , 1969 .

[16]  K. Gödel.  The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis. , 1938, Proceedings of the National Academy of Sciences of the United States of America.

[17]  J. Neumann.  Zur Theorie der Gesellschaftsspiele , 1928 .

[18]  Approximation Theorems for Gambling Problems and Stochastic Games , .