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>