[FOM] Eliminability of AC
lstout at iwu.edu
Mon Feb 25 17:45:26 EST 2008
Two major theorems in undergraduate mathematics need some form of
Every vector space has a basis.
Tychanoff's theorem: The product of compact toplogical spaces is
Will they do for examples from "ordinary mathematics"?
On Feb 24, 2008, at 11:16 PM, joeshipman at aol.com wrote:
> What is the simplest example of a well-known open problem
> in "ordinary mathematics" (that is, one of interest to mathematicians
> in general and not primarily of interest to logicians and set
> theorists) where there is a possibility some form of Choice is needed
> for any proof?
> -- JS
> More new features than ever. Check out the new AOL Mail ! -
> FOM mailing list
> FOM at cs.nyu.edu
More information about the FOM