[FOM] Eliminating AC
JoeShipman at aol.com
Thu Mar 21 14:47:53 EDT 2013
I am looking for something that I can explain in a few minutes to a mathematician who is unfamiliar with Godel constructibility, so that he will feel he understands why the result is true.
Sent from my iPhone
On Mar 21, 2013, at 12:17 AM, Craig Smorynski <smorynski at sbcglobal.net> wrote:
The original proof by noticing that the natural numbers in V and L are the same must surely be as simple as possible, which of course is not to say that it is simple.
On Mar 20, 2013, at 7:52 PM, Joe Shipman wrote:
> What is the simplest way to see that any arithmetical consequence of ZFC is a consequence of ZF?
> -- JS
> FOM mailing list
> FOM at cs.nyu.edu
FOM mailing list
FOM at cs.nyu.edu
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the FOM