[FOM] Eliminating AC

Joe Shipman JoeShipman at aol.com
Wed Mar 20 20:52:29 EDT 2013

Previous message: [FOM] APMP 2013 call for papers: deadline April 30
Next message: [FOM] Eliminating AC
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

What is the simplest way to see that any arithmetical consequence of ZFC is a consequence of ZF?

-- JS

Previous message: [FOM] APMP 2013 call for papers: deadline April 30
Next message: [FOM] Eliminating AC
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the FOM mailing list