[FOM] Fwd: 546: New Pi01/solving CH

Mitchell Spector spector at alum.mit.edu
Mon Sep 29 18:58:05 EDT 2014

One correction...

Mitchell Spector wrote:
> In fact, that's why I said "the consistency of ZFC", rather than Con(ZFC).

Looking back, I see that I actually said it both ways in my original reply.  Please take it in the 
meaningful model-theoretic sense, not some relatively arbitrary arithmetic formalization.


More information about the FOM mailing list