Model Comparison Games for Generalized Quantifiers

Antti Kuusisto, Miguel Moreno, Matias Selin

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é gam…