Model Comparison Games for Generalized Quantifiers
arXiv:2605.21170
Abstract
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.
Added Section 5