An extension of the Ehrenfeucht-Fra{\"{\i}}sse game for \mbox{first order} logics augmented with Lindstr\"{o}m quantifiers

by Haber and Shelah. [HbSh:1059]

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.


Back to the list of publications