Secondo un’originale definizione la Teoria dei Modelli è «Algebra universale più Logica», dove per Algebra universale si intende lo studio delle strutture e per Logica si intende lo studio delle formule logiche e delle regole di inferenza. Un’altra definizione ancora più recente suggerisce invece di vedere la Teoria dei Modelli come «Geometria algebrica meno campi». E’ in effetti difficile definire esattamente che cosa significhi Teoria dei Modelli; risulta ancora più arduo demarcare netti confini oltre i quali essa non si spinga. Obiettivo di questo articolo è cercare di introdurre il lettore a questa teoria fornendo gli strumenti di base e poi dimostrando il cosiddetto Teorema di Löwenheim-Skolem all’ingiù.
Sono problemi che dipendono dalle impostazioni del browser, vediamo di rimediare. In ogni caso si può scaricare il file pdf
segnalo che la lettura di questo come di altri articoli è resa diffcoltosa dalla presenza del frame a destra che occupa una parte significativa dello schermo