The existence of an algebraic closure can be proven using ultraproducts. This is quite interesting as an example of the application of model theory.

A Proof of The Existence of An Algebraic Closure Using Ultraproducts.pdf ダウンロード