A report on a game on the universe of sets (Q2473763)

The author works in \(\text{ZF}^-\) (i.e., ZF minus AR, the Axiom of Regularity). He deals with the following game: Two players, starting from a set \(x\), try to construct an \(\in\)-decreasing sequence. Player I chooses \(x_0 \in x\), then player II chooses \(x_1 \in x_0\) and so on. A player wins if the adversary cannot make any next move. A set is a winning set if there is a winning strategy for one of the players. The author investigates the classes \(W\) and \(HW\) of winning sets and hereditarily winning sets respectively. It can be shown that either \(W = V\) or that \(W\) cannot be a model of ZFC. \(HW\) is an inner model (of \(\text{ZF}^-\)). Further on, \(\text{AR}^W\) is consistent with \(\neg \text{AR}\).