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 (1966-1968)
- Volume: 10, page 61-72
- ISSN: 0303-1179
Access Full Article
topHow to cite
topSamuel, 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)." Séminaire Bourbaki 10 (1966-1968): 61-72. <http://eudml.org/doc/109751>.
@article{Samuel1966-1968,
author = {Samuel, Pierre},
journal = {Séminaire Bourbaki},
keywords = {set theory},
language = {fre},
pages = {61-72},
publisher = {Société Mathématique de France},
title = {Modèles booléiens et hypothèse du continu (résultats de Paul Cohen par la méthode de D. Scott et R. Solovay)},
url = {http://eudml.org/doc/109751},
volume = {10},
year = {1966-1968},
}
TY - JOUR
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)
JO - Séminaire Bourbaki
PY - 1966-1968
PB - Société Mathématique de France
VL - 10
SP - 61
EP - 72
LA - fre
KW - set theory
UR - http://eudml.org/doc/109751
ER -
References
top- [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. Zbl0192.04401MR157890
- [2] K. Godel - The consistency of the axiom of choice and of the generalized continuum hypothesis. Ann. of Math. Studies, n° 3, Princeton, 1940. Zbl0061.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. Zbl0149.25302
Citations in EuDML Documents
topNotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.