[FOM] Axioms that imply AC

Andrej Bauer Andrej.Bauer at andrej.com
Fri Feb 3 02:33:31 EST 2006

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

More information about the FOM mailing list