Program requirementsexamen
TeacherAlessandro Vignati
Weekly hours 2 h CM , 2 h TD
Years Master Logique et Fondements de l'Informatique

Syllabus

  • Axioms of ZF
  • Ordinals, cardinals, transfinite recursion
  • Ordinal and cardinal arithmetic
  • The Axiom of Choice and equivalents, filters and ultrafilters
  • Cofinality, regular/singular cardinals, König's theorem
  • Stationary and club sets, Fodor's lemma
  • Absoluteness and reflection theorems
  • The constructible universe

Bibliography

  • Cori, R. et Lascar, D., Logique mathématique : cours et exercices, Dunod, 2003.
  • Krivine, J.L., Théorie des ensembles, Cassini, 1998.