[FOM] Correction: Proof via equiconsistency of ZFC with *ZF* + ~ACR?

Rex Butler rexbutler at hotmail.com
Mon Jul 4 15:07:31 EDT 2005

As Jesper Carlström, Matt Insall, and Nate Ackerman have pointed out, in my 
previous message I meant *ZF* + ~ACR not ZFC + ~ACR, which is obviously 
inconsistent.  I momentarily associated C with 'Cantor' instead of 'Choice'. 
  Thanks for your replies.

Rex Butler

More information about the FOM mailing list