Détermination des jeux boréliens et problèmes logiques associés
Séminaire Bourbaki : vol. 1975/76, exposés 471-488, Séminaire Bourbaki, no. 18 (1977), Talk no. 478, p. 122-135
@incollection{SB_1975-1976__18__122_0,
     author = {Grigorieff, Serge},
     title = {D\'etermination des jeux bor\'eliens et probl\`emes logiques associ\'es},
     booktitle = {S\'eminaire Bourbaki : vol. 1975/76, expos\'es 471-488},
     author = {Collectif},
     series = {S\'eminaire Bourbaki},
     publisher = {Springer-Verlag},
     number = {18},
     year = {1977},
     note = {talk:478},
     pages = {122-135},
     zbl = {0359.02070},
     mrnumber = {437340},
     language = {fr},
     url = {http://www.numdam.org/item/SB_1975-1976__18__122_0}
}
Grigorieff, Serge. Détermination des jeux boréliens et problèmes logiques associés, in Séminaire Bourbaki : vol. 1975/76, exposés 471-488, Séminaire Bourbaki, no. 18 (1977), Talk no. 478, pp. 122-135. http://www.numdam.org/item/SB_1975-1976__18__122_0/

[1] M. Davis - Infinite games with perfect information, Advances in game theory, Annals of Math. Studies n° 52, Princeton Univ. Press, 1964, 85-101. | MR 170727 | Zbl 0133.13104

[2] D. Gale and F.M. Stewart - Infinite games with perfect information, Contribution to the theory of games, Annals of Math. Studies n° 28, Princeton Univ. Press, 1953, 245-266. | MR 54922 | Zbl 0050.14305

[3] H. Friedman - Higher set theory and mathematical practice, Annals of Math. Logic, 2 (1971), 326-357. | MR 284327 | Zbl 0215.32702

[4] D.A. Martin - Measurable cardinals and analytic games, Fund. Math., 66 (1970), 287-291. | MR 258637 | Zbl 0216.01401

[5] D.A. Martin - Borel determinacy, Annals of Math., 102 (1975), 363-371. | MR 403976 | Zbl 0336.02049

[6] D.A. Martin - Borel and projective games, Springer Verlag, à paraître.

[7] J.B. Paris - ZF T Σ04 determinateness, Jour. Symbolic Logic, 37 (1972), 661-667. | Zbl 0264.02053

[8] P. Wolfe - The strict determinateness of certain infinite games, Pac. Journ. of Math., 5 (1955), 841-847. | MR 73909 | Zbl 0066.38003