«A Shorter Model Theory» er en moderne lærebok i modellteori som tar leseren fra de første definisjonene til Morleys teorem og de elementære delene av stabilitetsteori. Boken presenterer ikke bare de standard resultater som kompakthets- og utestengte typer-teoremer, men utforsker også flere forbindelser til algebra. Dette inkluderer Skolem-Tarski-metoden for kvantifiseringselementering, modellkompletthet, automorfismegrupper og omega-kategoriskhet, samt ultraprodukter, O-minimalitet og strukturer av endelig Morley-rang. Det materialet som omhandler tilbake-og-frem ekvivalenser, tolkninger og null-en lover kan fungere som en introduksjon til anvendelser av modellteori innen datavitenskap. Hver kapittel avsluttes med en kort kommentar om litteraturen og forslag til videre lesning.
