FOM: large cardinals and P vs NP (reply to Cook)

[JoeShipman@aol.com]

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