Program requirementsCC+examen
TeacherAntoine Chambert-Loir
Weekly hours 3.0 h CM , 4.0 h TD
Years M1 mathématiques (MFA) M1 Logos M2 Logos

Contents

Théorie des ensembles naïve

  • Bons ordres, ordinaux et induction transfinie.
  • Axiome du choix et énoncés équivalents.
  • Cardinaux et arithmétique, les alephs.
  • Cofinalité.

Logique du premier ordre

  • Langages du premier ordre, structures, formules, théories, modèles.
  • Preuves formelles, théorèmes de complétude et de compacité.
  • Plongements élémentaires, diagrammes, théorèmes de Löwenheim–Skolem.
  • Élimination des quantificateurs
  • Ultrafiltres et ultraproduits

Théorie des ensembles axiomatique