New paper on Cook's conjecture

[martdowd at aol.com]

FOM,

I've written a new paper on Cook's conjecture:
  A Proof System Relevant to Cook's Conjecture
  https://www.researchgate.net/publication/351077717

Here's the abstract:

There is a provability version of the weak Cook conjecture,
which implies it.  For a given $\Pi$ there is a proof system $\Upsilon_\Pi$,
such that the provability version can be stated in terms of $\Upsilon_\Pi$.
Basic properties of $\Upsilon_\Pi$ and the provability version are shown.
The case where $\Pi$ is $\LA+\Con_{\LA}$ is considered further.
It is shown that the provability version follows from the existence
of a certain transformation of EF proofs.  The existence of a transformation
of a $\Pi$ proof with weaker properties is shown.

Martin Dowd

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20210424/bb2eeef4/attachment.html>