[FOM] Arithmetical soundness of ZFC

pax0@seznam.cz pax0 at seznam.cz
Sun May 24 14:37:23 EDT 2009


Can we also consider the easier problem of Arithmetical soundness of "ZFC+some large cardinal" :
which large cardinal's existence gives Arithmetically unsound theory?
JP


More information about the FOM mailing list