Geodesic
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.

Voir la notice de l'acte provenant de la source Numdam

MR   Zbl 

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] P. Cohen - 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] 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