[FOM] Eliminating AC
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
More information about the FOM