Indice degli argomenti

  • Introduzione

  • Curiosità

    Per chi è interessato, Anand Pillay nei primi 40 minuti della prima lezione di questo corso avanzato fa una breve storia della teoria dei modelli. Il corso di Pillay è una delle attività di un semestre dedicato alla teoria dei modelli del Fields Institute tenutosi l'anno scorso.

    Obbiettivo del nostro corso è capire la seconda parte della prima lezione di Pillay.

    • Settimana I (28 e 29 settembre)

      mercoledì 12:30 -- 14:30 (comincio alle 12:44)
      giovedì 10:30 -- 12:30 (comincio alle 10:44)
      4

      Sottostrutture, sottostrutture elementari. Cenni di analisi non standard. Test di Tarski-Vaught e Löwenheim-Skolem all'ingiù.

      • Compito 01
        Data limite: giovedì, 13 ottobre 2022, 23:59

    • Settimana II (5 e 6 ottobre)

      mercoledì 12:30 -- 14:30 (comincio alle 12:29)
      giovedì 10:30 -- 12:30 (comincio alle 10:44)
      8

      Ordini lineari densi, grafi aleatori. Definizioni di ricco, universale e omogeneo.

      • Compito 02
        Data limite: domenica, 30 ottobre 2022, 23:59

    • Settimana III (13 e 14 ottobre)

      mercoledì 12:30 -- 14:30 (comincio alle 12:29) lezione sincrona nella stanza WebEx del docente
      giovedì 10:30 -- 12:30 (comincio alle 10:44)
      12

      Modelli omegenei, universali e ricchi. Tutti i ricchi hanno la stessa teoria. Eliminazione dei quantificatori. Teorema di compattezza per i tipi.

      • Settimana IV 19 e 20 novembre

        mercoledì 12:30 -- 14:30 (comincio alle 12:29)
        giovedì 10:30 -- 12:30 (comincio alle 10:44)
        16

        Gruppi abeliani divisibili, campi algebraicamente chiusi.

        • Compito 03
          Data limite: domenica, 13 novembre 2022, 23:59

      • Settimana V 26 e 27 ottobre

        mercoledì 12:30 -- 14:30 (comincio alle 12:29)
        giovedì 10:30 -- 12:30 (comincio alle 10:44)
        20

        • Settimana VI 2 e 3 novembre

          mercoledì 12:30 -- 14:30 (comincio alle 12:29)
          giovedì 10:30 -- 12:30 (comincio alle 10:44)
          24

          • Settimana VII 9 e 10 novembre

            mercoledì 12:30 -- 14:30 (comincio alle 12:29)
            giovedì 10:30 -- 12:30 (comincio alle 10:44)
            28
            • Compito 04
              Data limite: domenica, 20 novembre 2022, 23:59

          • Settimana VIII 16 e 17 novembre

            mercoledì 12:30 -- 14:30 (comincio alle 12:29)
            giovedì 10:30 -- 12:30 (comincio alle 10:44)
            32
            • Compito 05
              Data limite: domenica, 4 dicembre 2022, 23:59

          • Settimana IX 23 e 24 novembre

            mercoledì 12:30 -- 14:30 (comincio alle 12:29)
            34

            • Settimana X 30 novembre 1 dicembre

              mercoledì 12:30 -- 14:30 (comincio alle 12:29)
              giovedì 10:30 -- 12:30 (comincio alle 10:44)
              38

              • Settimana XI 7 dicembre

                mercoledì 12:30 -- 14:30 (comincio alle 12:29)
                 
                40

                • Settimana XII 21 dicembre

                  mercoledì 12:30 -- 14:30 (comincio alle 12:29)
                  42
                  • Compito 06
                    Data limite: martedì, 11 gennaio 2022, 23:59