jdh.hamkins.org
Determinacy for proper-class clopen games is equivalent to transfinite recursion along proper-class well-founded relations
I’d like to continue a bit further my exploration of some principles of determinacy for proper-class games; it turns out that these principles have a surprising set-theoretic strength. A few…