Théorèmes de consistance en théorie de la mesure de R. Solovay
Séminaire Bourbaki : vol. 1968/69, exposés 347-363, Séminaire Bourbaki no. 11  (1971), Talk no. 357, p. 187-197
@incollection{SB_1968-1969__11__187_0,
     author = {Krivine, Jean-Louis},
     title = {Th\'eor\`emes de consistance en th\'eorie de la mesure de R. Solovay},
     booktitle = {S\'eminaire Bourbaki : vol. 1968/69, expos\'es 347-363},
     author = {Collectif},
     series = {S\'eminaire Bourbaki},
     publisher = {Springer-Verlag},
     number = {11},
     year = {1971},
     note = {talk:357},
     pages = {187-197},
     zbl = {0231.02084},
     language = {fr},
     url = {http://www.numdam.org/item/SB_1968-1969__11__187_0}
}
Krivine, Jean-Louis. Théorèmes de consistance en théorie de la mesure de R. Solovay, in Séminaire Bourbaki : vol. 1968/69, exposés 347-363, Séminaire Bourbaki, no. 11 (1971), Talk no. 357, pp. 187-197. http://www.numdam.org/item/SB_1968-1969__11__187_0/

[1] K. Gödel - The consistency of the continuum hypothesis, Annals of Math. Studies n° 3. | Zbl 0061.00902

[2] P.J. Cohen - Set theory and the continuum hypothesis, (Benjamin). | MR 232676 | Zbl 0182.01301