Algebraic completion without the axiom of choice

Abstract

Läuchli and Pincus showed that existence of algebraic completions of all fields cannot be proved from Zermelo-Fraenkel set theory alone. On the other hand, important special cases do follow. In particular, I show that an algebraic completion of $Q_p$ can be constructed in Zermelo-Fraenkel set theory.