Model Comparison Games for Generalized Quantifiers
逻辑
2026-05-21 v1
摘要
We introduce two new model comparison games that characterize separability by first-order formulas with generalized quantifiers. One is built on the Ehrenfeucht-Fra\"iss\'e game and the other is a formula-size game.
引用
@article{arxiv.2605.21170,
title = {Model Comparison Games for Generalized Quantifiers},
author = {Antti Kuusisto and Miguel Moreno and Matias Selin},
journal= {arXiv preprint arXiv:2605.21170},
year = {2026}
}