Summer of Math Exposition

A look at how the abstract Compactness Theorem in logic can apply itself to many areas of math to simplify lots of otherwise hard results (especially to do with infinity). Article explores applications, where its name comes from, as well as a proof at the end.