**Basic Model Theory - Stanford University**

The goal of this text is to provide a speedy introduction into what is basic in (mostly: rst-order) model theory. Central results in the main body of this eld are theorems like Com- pactness, L owenheim-Skolem, Omitting types and Interpolation. From this central area, the following directions sprout: model theory for languages extending the rst-order ones, abstract model theory, applied model ...

Continue Reading...