Basic Model Theory

The emphasis in this book is on first-order languages, whose model theory is best known. An example of a result is Lowenheim's theorem (the oldest in the Field): a first-order sentence true of some uncountable structure must hold in some countable structure as well.