[FOM] P01 provability/LC

pax0@seznam.cz pax0 at seznam.cz
Thu Jun 4 15:41:59 EDT 2009


I would like to know what can be said about the following
CONJECTURE. Any true arithmetical P01 sentence can be proved from ZFC+"suitable large cardinal".
Thank you, Jan P.


More information about the FOM mailing list