This will be a talk for the CUNY Set Theory Seminar, April 23, 2018, GC Room 6417, 10-11:45am.
Abstract. Open class determinacy is the principle of second order set theory asserting of every two-player game of perfect information, with plays coming from a (possibly proper) class $X$ and the winning condition determined by an open subclass of $X^\omega$, that one of the players has a winning strategy. This principle finds itself about midway up the hierarchy of second-order set theories between Gödel-Bernays set theory and Kelley-Morse, a bit stronger than the principle of elementary transfinite recursion ETR, which is equivalent to clopen determinacy, but weaker than GBC+$\Pi^1_1$-comprehension. In this talk, I’ll given an account of my recent joint work with W. Hugh Woodin, proving that open class determinacy is preserved by forcing. A central part of the proof is to show that in any forcing extension of a model of open class determinacy, every well-founded class relation in the extension is ranked by a ground model well-order relation. This work therefore fits into the emerging focus in set theory on the interaction of fundamental principles of second-order set theory with fundamental set theoretic tools, such as forcing. It remains open whether clopen determinacy or equivalently ETR is preserved by set forcing, even in the case of the forcing merely to add a Cohen real.
- Open and clopen determinacy for proper class games, VCU MAMLS April 2017
- On the strengths of the class forcing theorem and clopen class game determinacy, Prague set theory seminar, January 2018
- Open determinacy for games on the ordinals, Torino, March 2016
- Open determinacy for games on the ordinals is stronger than ZFC, CUNY Logic Workshop, October 2015
- Open determinacy for class games
- Determinacy for proper-class clopen games is equivalent to transfinite recursion along proper-class well-founded relations