Séance Séminaire

Logique Mathématique et Théorie des Ensembles

Wednesday 10 July 2013 à 13:30 - salle 431

Jean Malgoire (Université de Montpellier)

Forcing 2

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