[FOM] Eliminability of AC

joeshipman@aol.com joeshipman at aol.com
Mon Feb 25 18:46:19 EST 2008


No, because I asked for examples of "well-known open problems" -- those 
are not open questions.


-----Original Message-----
From: Larry Stout <lstout at iwu.edu>
To: Foundations of Mathematics <fom at cs.nyu.edu>
Sent: Mon, 25 Feb 2008 5:45 pm
Subject: Re: [FOM] Eliminability of AC



Two major theorems in undergraduate mathematics need some form of
choice:
    Every vector space has a basis.
    Tychanoff's theorem:  The product of compact toplogical spaces is
compact.
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 ! -
> http://webmail.aol.com
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
>

_______________________________________________
FOM mailing list
FOM at cs.nyu.edu
http://www.cs.nyu.edu/mailman/listinfo/fom


________________________________________________________________________
More new features than ever.  Check out the new AOL Mail ! - 
http://webmail.aol.com


More information about the FOM mailing list