Forcing et négation de l'hypothèse du continu


Alexandre Miquel, LIP, ENS Lyon. 25 février 2010 14:00 limd 2:00:00
Abstract:

Dans les cours précédents, nous avons construit le modèle booléen V^B de ZF et montré la satisfaction des axiomes de ZFC. Dans cette ultime séance de cours, nous allons nous intéresser aux cardinaux dans le modèle, et construire un modèle réfutant l'hypothèse du continu. Au programme: condition de (anti-)chaîne dénombrable, ensemble de conditions, forcing et modèles booléens, réels de Cohen.