La détermination projective
Séminaire Bourbaki : volume 1988/89, exposés 700-714, Astérisque no. 177-178  (1989), Talk no. 710, p. 261-276 
@incollection{SB_1988-1989__31__261_0,
     author = {Dehornoy, Patrick},
     title = {La d\'etermination projective},
     booktitle = {S\'eminaire Bourbaki : volume 1988/89, expos\'es 700-714},
     author = {Collectif},
     series = {Ast\'erisque},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {177-178},
     year = {1989},
     note = {talk:710},
     pages = {261-276},
     zbl = {0693.03033},
     mrnumber = {1040576},
     language = {fr},
     url = {http://www.numdam.org/item/SB_1988-1989__31__261_0}
}

Dehornoy, Patrick. La détermination projective, in Séminaire Bourbaki : volume 1988/89, exposés 700-714, Astérisque, no. 177-178 (1989), Talk no. 710, pp. 261-276. http://www.numdam.org/item/SB_1988-1989__31__261_0/

[1] J. Barwise éditeur, Handbook of mathematical logic, North Holland (1977). | MR 516928 | Zbl 0528.03001

[2] N. Bourbaki, Théorie des ensembles, Hermann (1971).

[3] A. Dodd, The core model, London Math. Soc. Lect. Notes 61(1982). | MR 652253 | Zbl 0474.03027

[4] M. Foreman, M. Magidor et S. Shelah,Martin's maximum, saturated ideals and non-regular ultrafilters, Annals of Math. à paraître. | Zbl 0645.03028

[5] S. Grigorieff, Détermination des jeux boréliens et problèmes logiques associés [d'après D. Martin], Séminaire Bourbaki, exp. n° 478, février 1976, Lect. Notes in Math., Springer-Verlag 567 (1977), 122-135. | Numdam | MR 437340 | Zbl 0359.02070

[6] Th. Jech, Set theory, Academic press (1978). | MR 506523 | Zbl 0419.03028

[7] A. Kechris et Y. Moschovakis éditeurs, Cabal seminar 76-77, Lect. Notes in Math., Springer-Verlag 689 (1978). | MR 526912 | Zbl 0379.00001

[8] A. Kechris, D. Martin et Y. Moschovakis éditeurs, Cabal seminar 77-79, Springer Lect. Notes in Math., Springer-Verlag 869 (1981). | MR 611165 | Zbl 0456.00005

[9] A. Kechris, D. Martin et Y. Moschovakis éditeurs, Cabal seminar 79-81, Springer Lect. Notes in Math., Springer-Verlag 1019 (1983). | MR 730583 | Zbl 0511.00005

[10] A. Kechris, D. Martin et J. Steel éditeurs, Cabal seminar 81-85, Springer Lect. Notes in Math., Springer-Verlag 1333 (1988). | MR 960892 | Zbl 0638.00008

[11] K. Mc Aloon, Formes combinatoires du théorème d'incomplétude [d'après J. Paris et d'autres], Séminaire Bourbaki, exp. n° 521, juin 1978, Lect. Notes in Math., Springer Verlag 710 (1979), 263-276. | Numdam | MR 554226 | Zbl 0416.03054

[12] D. Martin, Measurable cardinals and analytic games, Fundamenta math. 66 (1970) 287-291. | MR 258637 | Zbl 0216.01401

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

[14] D. Martin, Infinite games, Proceedings of the international congress of mathematicians, O. Lehto éd., Acad. Scient. Fennica, Helsinki (1978) 269-273. | MR 562614 | Zbl 0428.90086

[15] D. Martin et J. Steel, Projective determinacy, Proc. Nat. Acad. Sci. U.S.A. 85 (1988) 6582-6586. | MR 959109 | Zbl 0656.03036

[16] D. Martin et J. Steel, A proof of projective determinacy, Journal of the Amer. Math. Soc. 2 (1989) 71-125. | MR 955605 | Zbl 0668.03021

[17] W. Mitchell, Hypermeasurable cardinals, Proc. Logic colloquium 78, M. Boffa et al. éd., North Holland (1979). | MR 567676 | Zbl 0439.03040

[18] Y. Moschovakis, Descriptive set theory, North Holland (1980). | MR 561709 | Zbl 0433.03025

[19] J. Stern, Le problème des cardinaux singuliers [d'après R.Jensen et J.Silver], Séminaire Bourbaki, exp. n° 494, novembre 1976, Lect. Notes in Math., Springer Verlag 677 (1978), 59-72. | Numdam | MR 521760 | Zbl 0402.03047

[20] J. Stern, Le problème de la mesure, Séminaire Bourbaki, exp. n° 632, juin 1984, Astérisque 121-122 (1985), 325-346. | Numdam | MR 768968 | Zbl 0632.28001

[21] H. Woodin, Supercompact cardinals, sets of reals and weakly homogeneous trees, Proc. Nat. Acad. Sci. U.S.A. 85 (1988) 6587-6591. | MR 959110 | Zbl 0656.03037