Positional strategies in long Ehrenfeucht-Fraissé games
arXiv:1308.0156
Abstract
We prove that it is relatively consistent with ZF + CH that there exist two models of cardinality \aleph_2 such that the second player has a winning strategy in the Ehrenfeucht-Fraïssé-game of length Ï_1 but there is no Ï-closed back-and-forth set for the two models. If CH fails, no such pairs of models exist.