SEARCH

SEARCH BY CITATION

Keywords:

  • Axiom of choice;
  • Boolean utrafilter theorem;
  • algebraic closure

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.