Logique Mathématique et Théorie des Ensembles
lundi 17 juin 2013 à 13:30 - salle 331
Jean Malgoire (Université de Montpellier)
Introduction au forcing
Présentation heuristique de la méthode du forcing en théorie des ensembles.
Institut Montpelliérain Alexander Grothendieck
Laboratoire de Mathématiques de l'Université de Montpellier