A Proof of The Existence of An Algebraic Closure Using Ultraproducts

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