[FOM] Axioms that imply AC

[Andrej Bauer]

I student of mine is writing an undergraduate thesis on theorems in 
mathematics which are equivalent to the axiom of choice, which got me 
thinking: are there (relatively well-known) statements in mathematics, or 
specifically set theory, which are _stronger_ than the axiom of choice?
Some form of choice for classes perhaps? What use does it have? There are of 
course many weak forms of choice.

Andrej Bauer
University of Ljubljana