Does the theorem that every field has an algebraic closure require the full strength of the axiom of choice? I mean relative to ZF, is that theorem equivalent to AC? The proofs I know of all refer to Zorn's lemma or existence of maximal ideas in ring, or the like. But did they need all of that? thanks, Colin