FOM: large cardinals and P vs NP (reply to Cook) JoeShipman at
Thu Aug 2 14:14:21 EDT 2001

If C is a consistent large cardinal axiom and C+ZFC implies arithmetical statement A, and A is pi^0_1, then A is true.  But I think C could be consistent and not 1-consistent, and have false pi^0_2 consequences.  I can't answer this more precisely without a formal definition of "large cardinal axiom", though Harvey could probably give you an example.

-- Joe Shipman

More information about the FOM mailing list