jdh.hamkins.org
The global choice principle in Gödel-Bernays set theory
$\newcommand\Ord{\text{Ord}} \newcommand\R{\mathbb{R}} \newcommand\HOD{\text{HOD}}$ I’d like to follow up on several posts I made recently on MathOverflow (see here, here and here), which eng…