FOM: large cardinals and P vs NP (reply to Cook)
JoeShipman at aol.com
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