Validationexamen
EnseignantAlessandro Vignati
Horaires hebdomadaires 2 h CM , 2 h TD
Années Master Logique Mathématique et Fondements de l'Informatique

Syllabus

  • Les axiomes de ZF
  • Ordinaux, Cardinaux, récurrence transfinie
  • Arithmétique ordinaux et cardinaux
  • Axiom du Choix et équivalents, filtres et ultrafiltres
  • Cofinalité, cardinaux réguliers/singuliers, théorème de König
  • Ensembles stationnaires, clubs, Lemma de Fodor
  • Absoluité et théorèmes de reflexion
  • L'universe constructible

Bibliographie

  • Cori, R. et Lascar, D., Logique mathématique : cours et exercices, Dunod, 2003.
  • Kunen, K., Set Theory, Studies in Logic, College Publications, 2013
  • Krivine, J.L., Théorie des ensembles, Cassini, 1998.