Model Comparison Games for Generalized Quantifiers

We introduce three new model comparison games that characterize separability by first-order formulas with generalized quantifiers.

The first is built on the Ehrenfeucht-Fraïssé game, the second is a formula-size game, and the third unifies them both and incorporates minor quantifiers.