pith. sign in

arxiv: 1607.05515 · v1 · pith:NBPFWFGJnew · submitted 2016-07-19 · 🧮 math.LO

Determinacy separations for class games

classification 🧮 math.LO
keywords determinacyclassgameslargeproperresultssufficientlyweaker
0
0 comments X
read the original abstract

We show, assuming weak large cardinals, that in the context of games played in a proper class of moves, clopen determinacy is strictly weaker than open determinacy. The proof amounts to an analysis of a certain level of $L$ that exists under large cardinal assumptions weaker than an inaccessible. Our argument is sufficiently general to give a family of determinacy separation results applying in any setting where the universal class is sufficiently closed; e.g., in third, seventh, or $(\omega+2)$th order arithmetic. We also prove bounds on the strength of Borel determinacy for proper class games. These results answer questions of Gitman and Hamkins.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.