To acquire a good knowledge of first order classical logic and its fundamental theorems.
teacher profile teaching materials
Programme
Proof of the compactness theorem for languages of any cardinality. Languages with equality. The compactness theorem for languages with equality. Correctness and completeness for languages with equality. L"owenheim-Skolem's theorem for (denumerable) languages with equality. The limits of the expressive power of first order languages. Elementary equivalence, substructures, elementary substructures. Isomorphsims and elementary equivalence. The notion of substructure. Elementary substructures and diagrams. The preservation theorems. Generalisations of the L"owenheim-Skolem's theorem. Completeness of a theory.Core Documentation
V. Michele Abrusci e Lorenzo Tortora de Falco, Logica. Vol. 1 Dimostrazioni e modelli al primo ordine, Springer, 2014Attendance
Attendance is not mandatory but strongly recommended.Type of evaluation
Written and/or oral exam, of a duration usually between 30 and 45 minutes.