Attività settimanale

  • Settimana 0

    Lezione mercoledì 23 marzo ore 12:45

    Ripasso linguaggi e strutture. Definitione di equivalenza elementare. Esercizi suggeriti 2.20.
    • Settimana 1

      Lezione mecoledì 30 marzo ore 12:45

      Sottostrutture (paragrafo 1.7). Equivalenza elementare, sottostrutture elementari e isomorfismi (paragrafi 3.2 e 3.3). Esercizi suggeriti: 3.15.

      Lezione venerdì 1 aprile ore 10:45

      Teorie massimali consistenti e teorie complete. Modelli non standard dei numeri reali. Completati paragrafi 3.4 e 3.5 (omesso lemma 3.32). Esercizi suggeriti: 3.38, 3.39, 3.41.
      • Settimana 2

        Lezione mecoledì 6 aprile ore 12:45

        Esempio 3.12. Criterio di Tarski-Vaught. Theorema di Löwenheim-Skolem all'ingiù. Terminato Capitolo Teorie. Fortemente raccomandato: esercizio 3.48.

        Lezione venerdì 8 aprile ore 10:45

        Esercizio 3.38 (ancora Capitolo Teorie). Cominciato capitolo Ultraprodotti. Prodotti diretti. Omomorfismi parziali e isomorfismi parziali. Strutture quozienti.
        • Settimana 3

          Lezione mecoledì 13 aprile ore 12:45

          Ultraprodotti e teorema di Los.

          Lezione venerdì 15 aprile ore 10:45

          Teorema di compattezza. I tipi e teorema di compattezza per i tipi. Teorema di Löwenheim-Skolem all'insù. Lemma delle catene elementari.
          • Settimana 4

            Lezione mecoledì 20 aprile ore 12:45

            Reticoli, filtri primi, dualità di Stone. Suggerito esercizio 5.5

            Lezione venerdì 22 aprile ore 10:45

            • Settimana 5

              Lezione mecoledì 27 aprile ore 12:45

              Tipi (in frammenti del linguaggio). Pimalità dei tipi.

              Lezione venerdì 29 aprile ore 10:45

              Gli ordini lineari densi. Esercizio 6.9
              • Settimana 6

                Lezione lunedì 2 maggio ore 8:45

                Grafi aleatori. Modelli ricchi (definizione).Esercizi suggeriti: 6.17--6.21

                Lezione mecoledì 4 maggio ore 12:45

                Ricco=omogeneo+universale. Morfismi tra ricchi sono elementari. Esercizi suggeriti: 7.13--7.16

                Lezione venerdì 6 maggio ore 10:45

                La categoria dei gruppi abiliani senza torsione.
                • Settimana 7

                  Lezione lunedì 9 maggio ore 8:45

                  I gruppi abeliani divisibili di rango infinito sono ricchi. La categoria dei domini di integrità. I campi algeabricamenti chiusi di infinito grado si trascendenza sono ricchi.

                  Lezione mecoledì 11 maggio ore 12:45

                  Il Nullstellensatz.

                  Lezione giovedì 12 maggio ore 12:45 aula 3

                  Saturazione. I modelli ricchi sono saturi.
                  • Settimana 8

                    Lezione lunedì 16 maggio ore 8:45

                    Saturazione.

                    Lezione mecoledì 18 maggio ore 12:45

                    Omogeneità (elementare). Il modello mostro.

                    Lezione venerdì 20 maggio ore 10:45

                    Saturazione. Esercizi 9.8, 9.9, 9.20, 9.23-25 (Numerazione come nella versione del 19 maggio)
                    • Esame

                      Esame il 1 giugno ore 14:00 in aula S

                      Importante: iscriversi all'appello 16/06/2016