Logique Mathématique et Théorie des Ensembles :

Le 10 juillet 2013 à 13:30 - salle 431

Présentée par Malgoire Jean - Université de Montpellier

Forcing 2

Extensions de la vérité, algèbres de Boole, modèles B-valués (suite).