Attività settimanale

  • Settimana 1

    Lezione martedì 8 marzo, ore 14:30

    Modelli ricchi, omogeneità e universalità. Definizione di struttura satura.

    Lezione giovedì 10 marzo, ore 14:30

    Morphismi tra modelli ricchi sono elementari. Completato paragrafo 7.1. Modelli saturi sono ricchi.
    • Settimana 2

      Lezione martedì 15 marzo ore 12:45

      Eliminazione dei quantificatori (definizione). Le ultrapotenze sono ω1-sature. Lemma delle cartene elementari (ripasso).

      Lezione giovedì 17 marzo ore 14:45

      Esistenza dei modelli saturi. Saturazione debole (universalità debole) e omogeneità debole. Terminato capitolo 7 e paragrafo 9.1.
    • Settimane pasquali

      Lezione martedì 22 marzo ore 12:45

      Omogeneità elementare: paragrafo 9.2. Il modello mostro: paragrafo 9.3 fino a proposizione 9.19. Esercizio 9.24.

      Lezione giovedì 31 marzo ore 14:45

      Indiemi tipo-definibili e invarianza (completato paragrafo 9.3). Insiemi algebrici e insiemi definibili (paragrafo 11.1).
    • Settimana 4

      Lezione martedì 5 aprile ore 12:45

      Strutture e teorie fortemente minimali. Basi e dimensione.

      Lezione giovedì 7 aprile ore 14:45

      La dimensione classifica i modelli di una teoria completa fortemente minimale (completato capitolo). Strutture a più sorte. Espansione eq.
      • Settimana 5

        Lezione martedì 12 aprile ore 12:45

        Definibilità nella espansione eq.

        Lezione giovedì 14 aprile ore 14:45

        Algebricità nella espansione eq. Le relazioni di equivalenza finite. Eliminazione degli immaginari (solo definizione per ora).
      • Settimana 6

        Lezione martedì 19 aprile ore 12:45

        Eliminazione uniforme degli immaginari.

        Lezione giovedì 21 aprile ore 14:45

        Cancellata.
        • Settimana 7

          Lezione martedì 26 aprile ore 12:45

          Insiemi invarianti e tipi invaranti.

          Lezione giovedì 28 aprile ore 14:45

          Sequenze di Morley e sequenze di coeredi. Sequenze indiscernibili. Le sequenze di Morley sono indiscernibili.
        • Settimana 8

          Lezione martedì 3 maggio ore 12:45

          Teorema di Ramsey. Tipi di Erefeucht-Mostowski e indiscernibli.

          Lezione giovedì 5 maggio ore 14:45

          I tipi forti di Lascar. Il grafo di Lascar.
        • Settimana 9

          Lezione martedì 10 maggio ore 12:45

          Il teorema di Newelski.

          Lezione giovedì 12 maggio ore 14:45

          Teorema di omissione dei tipi. Modelli atomici e modelli primi.
          • Settimana 10

            Lezione martedì 17 maggio ore 12:45

            Teorema di Engeler, Ryll-Nardzewski, Svenonius. Teorie fortemente minimali ω-categoriche.

            Lezione giovedì 19 maggio ore 14:45

            Small theories.
          • Settimana 11

            Lezione martedì 24 maggio ore 12:45

            Guest teacher: Jakub Gismatullin. On the notion of metric ultraproduct. The notion of metric ultraproduct of structures (mainly groups) and applications.

            Lezione giovedì 27 maggio ore 14:45

            • Settimana 12

              Lezione martedì 31 maggio ore 12:45