[FOM] Eliminating AC
Craig Smorynski
smorynski at sbcglobal.net
Thu Mar 21 00:17:19 EDT 2013
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
> http://www.cs.nyu.edu/mailman/listinfo/fom
Craig
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20130320/b4c8d3cf/attachment.html>
More information about the FOM
mailing list