[FOM] Eliminating AC

[Andres Caicedo]

Simplest who knows... But "Choice holds in L and arithmetic statements are 
absolute between omega-models" seems simple enough.

  A.

On Wed, 20 Mar 2013, 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
>