Failure of finite-round game equivalence in infinite languages
ID: failure-of-finite-round-game-equivalence-in-infinite-languages
For countably many unary predicates , let contain infinitely many copies of each finite membership pattern and let add an element satisfying all predicates. Every finite vocabulary reduct has infinitely many elements in every Boolean cell in both structures, so . The Spoiler nevertheless wins the one-round full-language game by selecting the new element, whose complete atomic pattern has no counterpart in .
New to topics? Read the docs here!