[FOM] Finite functions and necessary use of large cardinals

S. Gill Williamson gill.williamson at gmail.com
Mon Nov 11 19:41:18 EST 2019

Previous message: [FOM] Predicative second-order logic
Next message: [FOM] Finite functions and necessary use of large cardinals
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Below is a link to my latest thoughts on connections between Harvey
Friedman's 1998 paper (Annals of Mathematics) and the P vs NP problem:

-- Gill Williamson

https://arxiv.org/abs/1907.11707v2
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20191111/c67f40e5/attachment.html>

Previous message: [FOM] Predicative second-order logic
Next message: [FOM] Finite functions and necessary use of large cardinals
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the FOM mailing list