[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