Voir la notice de l'acte provenant de la source Numdam
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://geodesic.mathdoc.fr/item/SB_1966-1968__10__61_0/
@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},
year = {1968},
publisher = {Soci\'et\'e math\'ematique de France},
number = {10},
mrnumber = {1610448},
zbl = {0197.00401},
language = {fr},
url = {http://geodesic.mathdoc.fr/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://geodesic.mathdoc.fr/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://geodesic.mathdoc.fr/item/SB_1966-1968__10__61_0/ %G fr %F SB_1966-1968__10__61_0
[1] - The independence of the continuum hypothesis. Proc. Nat. Acad. Sci. U.S.A., 50 (1963), 1143-1158 et 51 (1964), 105-110. | Zbl | MR
[2] - The consistency of the axiom of choice and of the generalized continuum hypothesis. Ann. of Math. Studies, n° 3, Princeton, 1940. | Zbl
[3] - 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] - Boolean algebras and forcing. Juste avant la polycopie, on a reçu à Paris un "preprint" de
[5] - 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