An extension of the Ehrenfeucht-Fraisse game for first order logics augmented with Lindstrom quantifiers
Simi Haber, Saharon Shelah · arXiv (Cornell University) · 2015
We propose an extension of the Ehrenfeucht-Fraisse game able to deal with logics augmented with Lindstrom quantifiers. We describe three different games with varying balance between simplicity and ease of use.