Refutability of the strengthened finite Ramsey theorem

Giovanni Lagnese giov.lagn at gmail.com
Thu Jul 22 07:56:29 EDT 2021


Is it known whether the strengthened finite Ramsey theorem is non-refutable
in PA (assuming PA is consistent)?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20210722/15460f4d/attachment-0001.html>


More information about the FOM mailing list