{"id":"arxiv/2605.21170","url":"https://arxiv.org/abs/2605.21170","tags":["math.LO"],"score":0,"title":"Model Comparison Games for Generalized Quantifiers","domain":"math.LO","source":"arxiv","authors":["Antti Kuusisto","Miguel Moreno","Matias Selin"],"reviews":0,"subject":"math.LO","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-20","reactions":{}}