Model theory is a fierce branch of logic primarily concerned with studying classes of mathematical structures. It has been described as "universal algebra + logic" and "algebraic geometry - fields". In this talk, we'll start slowly by introducing models and ultraproducts with the goal of proving the compactness theorem. Then we'll conclude with a potpourri of consequences. No background in model theory or logic is required.
An Introduction to America's Next Top Model (Theory)