printemps 2023–2024
[17/01] Paradoxe de Russell. Les axiomes de . Relations, fonctions. Ordres bien fondés et bons ordres. Induction. Segments initiaux.
[24/01] Comparaison entre deux bons ordres. Ensembles transitifs. Ordinaux, propriétés de base. Le supremum d’un ensemble d’ordinaux. Ordinaux successeurs et ordinaux limites. Ordinal de Hartogs d’un ensemble. Tout bon ordre est isomorphe à un ordinal. Induction transfinie.
[31/01] Définition d’une fonction par induction (récursion) sur les ordinaux. Opérations arithmétiques sur les ordinaux et leurs propriétés : addition, multiplication, exponentiation. Axiome du choix, principe du bon ordre, lemme de Zorn et leur équivalence dans . Notion de cardinalité. Théorème de Cantor.
[07/02] Théorème de Cantor–Bernstein. Cardinaux. Opérations arithmétiques : somme, produit, exponentiation. pour tout infini. Les alephs. CH et GCH. Sommes et produits infinis.
[14/02] Théorème de König. Cofinalité. Cardinaux réguliers et singuliers. Tout cardinal successeur est régulier. Cardinaux faiblement et fortement inaccessibles. Lemme de Kônig. Tout espace métrique complet parfait contient une partie homéomorphe à .
[21/02] Rang de Cantor–Bendixson. L’hypothèse du continu pour les espaces polonais. Topologie sur les ordinaux. Parties club de . Lemme de Fodor. -lemme.
[06/03] Langages et structures. Formules, satisfaction. Théories et modèles. Plongements. Plongements élémentaires.
[20/03] Chaînes élémentaires. Test de Tarski. Skolemisation. Théorème de Löwenheim-Skolem descendant. Filtres et ultrafiltres. Ultraproduits. Théorème de Łoś. Théorème de compacité.
[27/03] Théorème de compacité, interprétation topologique. Applications : ordinaux finis non standards, théorème de l’extension élémentaire commune, théorème de Löwenheim–Skolem ascendant, théories catégoriques. Application aux corps algébriquement clos : principe de transfert.
[03/04] Ensembles définissables. Types. Élimination des quanteurs. Modèle complétude.
[10/04] Types isolés, types algébriques, transitivité de l’isolation. Omission des types. Modèles kappa-catégoriques, Théorème de Morley/Shelah (énoncé). Théorème de Ryll-Nardzewski. Modèles atomiques. Deux modèles dénombrables atomiques d’une théorie complète sont isomorphes.
[17/04] Modèles -saturés.