Abstract: Initially a controversial axiom, AC became so quickly integrated into standard mathematics that it became standard use even before the set theorists had agreed on using it. Key theorems in almost every area of mathematics were quickly realized to be equivalent to some form of choice. In this talk we will examine those which are equivalent to the full version of choice. The equivalences are done over ZF.