Finite Model Theory

Finnes det strukturer som kan beskrives med endelige modeller? 'Finite Model Theory' tar for seg nettopp dette, og dykker dypere inn i modellteorien for endelige strukturer. Boken har sine røtter i klassisk modellteori, men har utviklet seg betydelig takket være innflytelse fra forskning innen kompleksitetsteori og databaseteori. Modellteori, som først ble introdusert av Tarski i 1954, utforsker samspillet mellom den syntaktiske strukturen av et aksiomsystem og de algebraiske og mengdeteoretiske egenskapene til modellene. Dette arbeidet fokuserer mye på førstegangslogikk, som har etablert seg som det mest dominerende språket innen dette området. Den etterfølgende analysen av førstegangslogikk avdekker både dens styrker, gjennom prinsipper som kompakthets- og fullstendighetsteoremet, samt dens uttrykksmessige begrensninger. Disse aspektene utgjør et fruktbart grunnlag for videre undersøkelser og teoretisk utvikling.