An Introductory Proof of the Compactness Theorem and Some Applications
- Series
- Algebra Student Seminar
- Time
- Friday, October 28, 2022 - 10:00 for 1 hour (actually 50 minutes)
- Location
- Skiles 006
- Speaker
- Griffin Edwards – Georgia Institute Of Technology
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.