[FOM] Eliminability of AC

[joeshipman@aol.com]

No, because he just used V=L on a NON-absolute statement in order to 
establish independence, rather than using V=L to prove an absolute 
statement, from which the V=L assumption can then be eliminated by 
Shoenfield's theorem.

-- JS


-----Original Message-----
From: Thomas Forster <T.Forster at dpmms.cam.ac.uk>
To: Foundations of Mathematics <fom at cs.nyu.edu>
Sent: Mon, 24 Mar 2008 6:07 pm
Subject: Re: [FOM] Eliminability of AC

Does Shelah's work on the Whitehead problem count as a solution in
anyone's book...?