Indice degli argomenti

  • Lezione 1

    Lezione lunedì 2 marzo 9-11 aula 3
    Docente Domenico Zambella.

    Filtri su un insieme.
    • Lezione 2

      Lezione venerdì 6 marzo aula 2 ore 9-11
      Docente Domenico Zambella

      Esistenza dei filtri massimali. Completato pararafo 4.1 delle dispense.
    • Lezione 3

      Lezione lunedì 9 marzo 9-11 aula 3
      Docente Domenico Zambella

      Ultraprodotti. Teorema di Łoś.
      • Lezione 4

        Lezione venerdì 14 marzo aula 2 ore 9-11
        Docente Domenico Zambella

        Ultrapotenze (le ultra potenze sono estensioni elementari).
      • Lezione 5

        Lezione lunedì 16 marzo 9-11 aula 3
        Docente Domenico Zambella.

        Teorema di compattezza. Assiomaizzabilità finita. Paragrafo 4.4. Esercizio 4.21 da completare.
        • Lezione 6

          Lezione venerdì 21 marzo aula 2 ore 9-11
          Docente Domenico Zambella

          I tipi. Il teorema di compattezza per i tipi.
        • Lezione 7

          Lezione venerdì 27 marzo aula 2 ore 9-11
          Docente Domenico Zambella

          Teorma di Löwenheim-Skolem all'insù. (Saltato paragrafo 4.6. Posticipato capitolo 5.) Gli ordini densi, paragrafo 6.1. I grafi aleatoti (solo definizione).
        • Lezione 8

          Lezione lunedì 30 marzo 9-11 aula 3
          Docente Domenico Zambella

          Grafi aleatori, definizione, e categoricità. Modelli ricchi (definizione).
        • Lezione 9

          Lezione venerdì 10 aprile aula 2 ore 9-11
          Docente Domenico Zambella

          Categorie di modelli e morfismi. Ricco ⟺ universale e momogeneo. Eliminazione dei quantificatori. Un esempio di modello ricco non ω-omogeneo.

          L'esposizione a lezione è leggermente diversa da quella sulle dispense (le differenze non sono essenziali). Ho esposto gli ultimi due paragrafi delle note che trovate qui sotto.
        • Lezione 10

          Lezione martedì 26 maggio aula 2 ore 14-16
          Docente Domenico Zambella

          Reticoli e filtri.
        • Lezione 11

          Lezione mercoledì 27 aprile aula C ore 11-13
          Docente Domenico Zambella

          Domini e campi.
          • Lezione 12

            Lezione giovedì 29 maggio aula Lagrange ore 11-13
            Docente Domenico Zambella

            Campi algebricamente chiusi.