Modèles booléiens et hypothèse du continu (résultats de Paul Cohen par la méthode de D. Scott et R. Solovay)
Séminaire Bourbaki : années 1966/67 1967/68, exposés 313-346, Séminaire Bourbaki no. 10  (1968), Talk no. 317, p. 61-72
@incollection{SB_1966-1968__10__61_0,
     author = {Samuel, Pierre},
     title = {Mod\`eles bool\'eiens et hypoth\`ese du continu (r\'esultats de Paul Cohen par la m\'ethode de D. Scott et R. Solovay)},
     booktitle = {S\'eminaire Bourbaki : ann\'ees 1966/67 1967/68, expos\'es 313-346},
     author = {Collectif},
     series = {S\'eminaire Bourbaki},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {10},
     year = {1968},
     note = {talk:317},
     pages = {61-72},
     zbl = {0197.00401},
     mrnumber = {1610448},
     language = {fr},
     url = {http://www.numdam.org/item/SB_1966-1968__10__61_0}
}
Samuel, Pierre. Modèles booléiens et hypothèse du continu (résultats de Paul Cohen par la méthode de D. Scott et R. Solovay), in Séminaire Bourbaki : années 1966/67 1967/68, exposés 313-346, Séminaire Bourbaki, no. 10 (1968), Talk no. 317, pp. 61-72. http://www.numdam.org/item/SB_1966-1968__10__61_0/

[1] P. Cohen - The independence of the continuum hypothesis. Proc. Nat. Acad. Sci. U.S.A., 50 (1963), 1143-1158 et 51 (1964), 105-110. | MR 157890 | Zbl 0192.04401

[2] K. Godel - The consistency of the axiom of choice and of the generalized continuum hypothesis. Ann. of Math. Studies, n° 3, Princeton, 1940. | Zbl 0061.00902

[3] D. Scott - Boolean-valued models for higher-order logic. (Polycopié, Logic Seminar, Stanford Univ., Jan. 1966). Des articles imprimés exposant la méthode de Dana Scott sont en préparation, en particulier :

[4] R. Solovay - Boolean algebras and forcing. Juste avant la polycopie, on a reçu à Paris un "preprint" de

[5] D. Scott - A proof of the independence of the continuum hypothesis. Bien plus lisible que D. SCOTT [3] ; Scott utilise ici le langage des variables aléatoires plutôt que le langage topologique, et explicite la connexion entre ses modèles booleiens et le "forcing" de Paul Cohen. | Zbl 0149.25302