Acquisire buona conoscenza dei principi della logica classica del primo ordine e del calcolo dei sequenti per essa, nonch‚ dei principali risultati che la concernono.
scheda docente
materiale didattico
Programma
Dimostrazione del teorema di compattezza per linguaggi di cardinalità qualsiasi. Linguaggi con uguaglianza. Il teorema di compattezza per i linguaggi con uguaglianza. Correttezza e completezza per i linguaggi con uguaglianza. Il teorema di L"owenheim-Skolem per i linguaggi con uguaglianza (numerabili). Limiti espressivi del linguaggio del primo ordine. Equivalenza elementare, sottostrutture, sottostrutture elementari. Isomorfismo ed equivalenza elementare. La nozione di sottostruttura. Sottostrutture elementari e diagrammi. I teoremi di preservazione. Generalizzazioni del teorema di L"owenheim-Skolem. Completezza di una teoria.Testi Adottati
V. Michele Abrusci e Lorenzo Tortora de Falco, Logica. Vol. 1 Dimostrazioni e modelli al primo ordine, Springer, 2014Modalità Frequenza
La frequenza non è obbligatoria ma è vivamente raccomandata.Modalità Valutazione
Esame scritto e/o orale, di durata variabile, in media tra 30 e 45 minuti.