>EDIT: This from the real abstract sounds very strange: >"Our result is also highly unusual in that all moves of both players are forced in the construction. T

>EDIT: This from the real abstract sounds very strange: >"Our result is also highly unusual in that all moves of both players are forced in the construction. This shows that even recognising who will win a game in which neither player has a non-trivial decision to make for the rest of the game is undecidable." It is very straightforward. They are saying that, in the turing machine scenario they've set up, for each player's move, the decision they have to make is obvious, so the players don't have to collaborate in order to produce the scenario, it will arise naturally out of the state of the game with two rational players trying to win.