jdh.hamkins.org
Open determinacy for proper class games implies Con(ZFC) and much more
$\newcommand\Tr{\text{Tr}}$One of the intriguing lessons we have learned in the past half-century of set-theoretic developments is that there is a surprisingly robust connection between infinitary …