Is continuum hypothesis decidable in second-order ZFC? – math.stackexchange.com

Is continuum hypothesis decidable in second-order ZFC? – math.stackexchange.com

08:25 No Comments
From this question I've found that some logicians claimed that the CH is decided in the second-order ZFC, namely $(ZFC_2\vdash CH)\vee (ZFC_2\vdash\neg CH)$. G. Kreisel's "Informal rigour and ...

from Hot Questions - Stack Exchange OnStackOverflow
via Blogspot

Share this

Unknown

Artikel Terkait

0 Comment to "Is continuum hypothesis decidable in second-order ZFC? – math.stackexchange.com"

Post a Comment

Subscribe to: Post Comments (Atom)