@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 = {https://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 - https://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 https://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.. https://www.numdam.org/item/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
