Università Roma Tre

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.

V. Michele Abrusci e Lorenzo Tortora de Falco, Logica. Vol. 1 Dimostrazioni e modelli al primo ordine, Springer, 2014