New manuscript on Cook's conjecture

[martdowd at aol.com]

FOM:

I have a new manuscript on Cook's conjecture:
 A Case of Cook's Conjecture
 https://www.researchgate.net/publication/366204403

Here's the abstract:
In 1975 Cook conjectured that the representing formulas of the consistency
of PV do not have polynomially bounded extended resolution proofs.
In 2020 the author noted that it is a question of interest, even whether
it is provable in PV from $\Con_{\text PV}$ that such proofs exist.
Here, it is shown that this question has a negative answer.
Some related theorems are proved, and a
discussion given of further research.

I had previously posted
 A Theorem on Cook's Conjecture
 https://www.researchgate.net/publication/363611615
This made a conjecture, which is proved in the new manuscript, so I have
deleted the old manuscript.

Martin Dowd

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20221212/fcfe2d06/attachment-0001.html>