jdh.hamkins.org
Second-order transfinite recursion is equivalent to Kelley-Morse set theory over GBC
A few years ago, I had observed after hearing a talk by Benjamin Rin that the principle of first-order transfinite recursion for set well-orders is equivalent to the replacement axiom over Zermelo …