Talk:Ehrenfeucht–Fraïssé game

From Wikipedia, the free encyclopedia

"4. Duplicator picks whichever of a2 or b2 Spoiler did not pick." is phrased infelicitously, since it suggests Duplicator's pick is an already known specific individual of its structure -- but it isn't until Duplicator has moved. Rather, the earlier language that described Duplicator's side of the first move-pair should be echoed: "If Spoiler picked a2 from A then Duplicator picks some b2 from B not equal to any previous move from B, and contrariwise if Spoiler picked b2 from B then Duplicator picks some a2 from A not equal to any previous move from A." (N. Shum-Ish 06:13, 21 June 2007 (UTC))