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]
Fields Logic and Computation II (Yurifest Workshop), 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.


Back to the list of publications