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), Exposé no. 317, 12 p.
@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},
     series = {S\'eminaire Bourbaki},
     note = {talk:317},
     pages = {61--72},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {10},
     year = {1968},
     mrnumber = {1610448},
     zbl = {0197.00401},
     language = {fr},
     url = {http://www.numdam.org/item/SB_1966-1968__10__61_0/}
}
TY  - CHAP
AU  - Samuel, Pierre
TI  - Modèles booléiens et hypothèse du continu (résultats de Paul Cohen par la méthode de D. Scott et R. Solovay)
BT  - Séminaire Bourbaki : années 1966/67 1967/68, exposés 313-346
AU  - Collectif
T3  - Séminaire Bourbaki
N1  - talk:317
PY  - 1968
SP  - 61
EP  - 72
IS  - 10
PB  - Société mathématique de France
UR  - http://www.numdam.org/item/SB_1966-1968__10__61_0/
LA  - fr
ID  - SB_1966-1968__10__61_0
ER  - 
%0 Book Section
%A Samuel, Pierre
%T Modèles booléiens et hypothèse du continu (résultats de Paul Cohen par la méthode de D. Scott et R. Solovay)
%B Séminaire Bourbaki : années 1966/67 1967/68, exposés 313-346
%A Collectif
%S Séminaire Bourbaki
%Z talk:317
%D 1968
%P 61-72
%N 10
%I Société mathématique de France
%U http://www.numdam.org/item/SB_1966-1968__10__61_0/
%G fr
%F 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), dans Séminaire Bourbaki : années 1966/67 1967/68, exposés 313-346, Séminaire Bourbaki, no. 10 (1968), Exposé no. 317, 12 p. 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 | Zbl

[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

[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