## On the consistency of P = NP with fragments of ZF C whose own consistency strength can be measured by an ordinal assignment

- N C A Da Costa, F A Doria
- On the consistency of P = NP with fragments of ZF…

@inproceedings{Schindler2000JU2, title={J ul 2 00 0 A note on an alleged proof of the relative consistency of P = NP with PA}, author={R Schindler}, year={2000} }

- Published 2000

N.C.A. da Costa and F.A. Doria claim to have shown in [1] that P = NP is relatively consistent with PA. The purpose of the present note is to argue that there is a mistake in that paper. Specifically, we want to point out that Corollary 5.14 of [1] – which is used in the proof of their main result – is probably false. We are first going to reconstruct their argument. According to that reconstruction, the argument of [1] would in fact show that PA proves P = NP . We’ll then discuss Cor. 5.14 of… CONTINUE READING

### Presentations referencing similar topics