[FOM] Eliminating AC
caicedo at diamond.boisestate.edu
Thu Mar 21 00:44:43 EDT 2013
Simplest who knows... But "Choice holds in L and arithmetic statements are
absolute between omega-models" seems simple enough.
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
More information about the FOM