ALGEBRAIC CLOSURE WITHOUT CHOICE
Abstract
This note shows that for the proof of the existence and uniqueness of the algebraic closure of a field one needs only the Boolean Ultrafilter Theorem.
This note shows that for the proof of the existence and uniqueness of the algebraic closure of a field one needs only the Boolean Ultrafilter Theorem.