TY  - RPRT
TI  - On the consistency of $P=NP$ with fragments of ZFC whose own consistency strength can be measured by an ordinal assignment
AU  - N. C. A. da Costa
AU  - F. A. Doria
PY  - 2000
UR  - https://arxiv.org/abs/math/0006079
ID  - math/0006079
ER  -