Topic outline

  • Lezione I, giovedì 20 aprile

  • Lezione II, venerdì 21 aprile

    Purtroppo, la lavagna di questa lezione è andata persa.

    Trovate una bozza di dimostrazione del lemma di Lyndon-Robinson nella sezione 10.1 di queste dispense

    https://github.com/domenicozambella/creche/raw/master/PDF/creche.pdf

    Il teorema di compattezza per i tipi è il teorema 4.11 e contiene a l suo interno una breve discussione del metodo del diagramma.

    La (bozza di) dimostrazione del teorema di compattezza fatta a lezione non è parte del programma.

  • Lezione III, giovedì 27 aprile

  • Lezione IV, venerdì 27 aprile

    Il teorema sulla densità dei percorsi di lunghezza 3 in un grafo bipartito è spiegato in questo video: https://youtu.be/YGiXG575fNI
  • Lezione V, giovedì 4 maggio

  • Edit Lezione VI, venerdì 5 maggio