Mudeliteooria

Mudeliteooria käsitleb matemaatilise loogika haru, mis näitab seoseid formaalse keele ja selle interpretatsioonide või mudelite vahel. See on esimene ja edukaim loogilise mudeliteooria õpik. Kolmas trükk, mida 1990. aastal ulatuslikult uuendati ja parandati, et see vastaks mudeliteoreetiliste meetodite arengule, sealhulgas klassifitseerimisteooriale ja mittestandardsele analüüsile, lisas täiesti uusi sektsioone, harjutusi ja viiteid.
Igas peatükis tutvustatakse individuaalset meetodit ja käsitletakse konkreetseid rakendusi. Mudelite konstrueerimise põhimeetodite hulka kuuluvad konstandid, elementaarahelad, Skolemi funktsioonid, eristamatud suurused, ultraproduktid ja erimudelid. Viimastes peatükkides esitatakse keerukamaid teemasid, mis hõlmavad mitme meetodi kombinatsiooni. See klassikaline käsitlus hõlmab enamiku esimese järgu mudeliteooria aspekte ja paljusid selle rakendusi algebras ja hulgateoorias.