Logique Mathématique et Théorie des Ensembles :

Le 17 juin 2013 à 13:30 - salle 331

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

Introduction au forcing

Présentation heuristique de la méthode du forcing en théorie des ensembles.