[FOM] Eliminating AC

Monroe Eskew meskew at math.uci.edu
Thu Mar 21 00:20:45 EDT 2013

On 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?

Consider L.  It satisfies ZFC, and arithmetical statements are absolute between V and L.

More information about the FOM mailing list