Sequential games and optimal strategies
2010 ◽
Vol 467
(2130)
◽
pp. 1519-1545
◽
Keyword(s):
This article gives an overview of recent work on the theory of selection functions. We explain the intuition behind these higher type objects, and define a general notion of sequential game whose optimal strategies can be computed via a certain product of selection functions. Several instances of this game are considered in a variety of areas such as fixed point theory, topology, game theory, higher type computability and proof theory. These examples are intended to illustrate how the fundamental construction of optimal strategies based on products of selection functions permeates several research areas.
2019 ◽
Vol 14
(3)
◽
pp. 311
◽
1960 ◽
Vol 34
(1)
◽
pp. 1-16
◽
2010 ◽
Vol 157
(10-11)
◽
pp. 1804-1814
◽
Keyword(s):
Keyword(s):
2005 ◽
Vol 2005
(5)
◽
pp. 789-801
Keyword(s):
Keyword(s):