Another paper on Cook's conjecture

martdowd at aol.com martdowd at aol.com
Sun May 9 20:44:07 EDT 2021


FOM,

I've written another paper on Cook's conjecture:
  Further Facts About Upsilon-Pi
  https://www.researchgate.net/publication/351444899

Here's the abstract:

In an earlier paper the author defined a proof system $\Upsilon_\Pi$,
and proved facts about it and its relevance to Cook's conjecture.
Further facts are proved here.  A proof-theoretic equivalent of the full
Cook conjecture is given.

Martin Dowd

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20210510/731395d2/attachment-0001.html>


More information about the FOM mailing list