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 .
Articles by others on the same topic
There are currently no matching articles.