[FOM] Eliminating AC

Robert Solovay solovay at gmail.com
Thu Mar 21 00:30:40 EDT 2013

L and V have the same integers. But AC holds in L. So a proof of an
arithmetical result in ZFC implies it holds in L, hence in V.

-- Bob Solovay

On Wed, Mar 20, 2013 at 5:52 PM, Joe Shipman <JoeShipman at aol.com> 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

More information about the FOM mailing list