Georgia Institute of Technology College of Sciences

We will introduce the foundations of model theory, by defining languages, models, and theories. Then we will look at a couple proofs of the compactness theorem, state Gödel's completeness theorem, and prove that any planar graph is four colorable. Expect a lot of examples, and I hope everyone comes away understanding the foundations of this wonderful theory.